2 files changed, 2 insertions, 16 deletions
diff --git a/include/klee/Config/Version.h b/include/klee/Config/Version.h
index 0e7b75e3..f3ef8fa5 100644
--- a/include/klee/Config/Version.h
+++ b/include/klee/Config/Version.h
@@ -14,17 +14,7 @@
 
 #define LLVM_VERSION(major, minor) (((major) << 8) | (minor))
 #define LLVM_VERSION_CODE LLVM_VERSION(LLVM_VERSION_MAJOR, LLVM_VERSION_MINOR)
-
-#if LLVM_VERSION_CODE >= LLVM_VERSION(4, 0)
-#  define KLEE_LLVM_CL_VAL_END
-#else
-#  define KLEE_LLVM_CL_VAL_END , clEnumValEnd
-#endif
-
-#if LLVM_VERSION_CODE >= LLVM_VERSION(5, 0)
-#  define KLEE_LLVM_GOIF_TERMINATOR
-#else
-#  define KLEE_LLVM_GOIF_TERMINATOR , NULL
-#endif
+#define KLEE_LLVM_CL_VAL_END
+#define KLEE_LLVM_GOIF_TERMINATOR
 
 #endif /* KLEE_VERSION_H */
diff --git a/include/klee/Support/PrintVersion.h b/include/klee/Support/PrintVersion.h
index fbd20e39..1c952451 100644
--- a/include/klee/Support/PrintVersion.h
+++ b/include/klee/Support/PrintVersion.h
@@ -15,11 +15,7 @@
 #include "klee/Config/Version.h"
 
 namespace klee {
-#if LLVM_VERSION_CODE >= LLVM_VERSION(6, 0)
   void printVersion(llvm::raw_ostream &OS);
-#else
-  void printVersion();
-#endif
 }
 
 #endif /* KLEE_PRINTVERSION_H */