From 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Wed, 5 Jan 2022 22:43:23 +0100 Subject: remove obsolete KLEE_LLVM legacy defines --- include/klee/Config/Version.h | 2 -- 1 file changed, 2 deletions(-) (limited to 'include') 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 */ -- cgit 1.4.1