diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-05 22:43:23 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-17 22:59:26 +0000 |
| commit | 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 (patch) | |
| tree | af3dbec1ca297e4eacc736ba6bb6b012c2a2a8c3 /include | |
| parent | fcb5641d29b2e22bbd4034e51a1fe675b69bbf81 (diff) | |
| download | klee-1b51cf5ecde7ca9e6646d481b0d757dd31b06da8.tar.gz | |
remove obsolete KLEE_LLVM legacy defines
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 */ |