diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/Version.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/include/klee/Config/Version.h b/include/klee/Config/Version.h index f3ef8fa5..71cd2d04 100644 --- a/include/klee/Config/Version.h +++ b/include/klee/Config/Version.h @@ -14,7 +14,5 @@ #define LLVM_VERSION(major, minor) (((major) << 8) | (minor)) #define LLVM_VERSION_CODE LLVM_VERSION(LLVM_VERSION_MAJOR, LLVM_VERSION_MINOR) -#define KLEE_LLVM_CL_VAL_END -#define KLEE_LLVM_GOIF_TERMINATOR #endif /* KLEE_VERSION_H */ |