1 files changed, 1 insertions, 10 deletions
diff --git a/lib/Support/PrintVersion.cpp b/lib/Support/PrintVersion.cpp
index 1cb80864..29235f53 100644
--- a/lib/Support/PrintVersion.cpp
+++ b/lib/Support/PrintVersion.cpp
@@ -15,16 +15,7 @@
 
 #include "klee/Config/CompileTimeInfo.h"
 
-#if LLVM_VERSION_CODE >= LLVM_VERSION(6, 0)
-void klee::printVersion(llvm::raw_ostream &OS)
-#else
-void klee::printVersion()
-#endif
-{
-#if LLVM_VERSION_CODE < LLVM_VERSION(6, 0)
-  llvm::raw_ostream &OS = llvm::outs();
-#endif
-
+void klee::printVersion(llvm::raw_ostream &OS) {
   OS << PACKAGE_STRING " (" PACKAGE_URL ")\n";
 #ifdef KLEE_ENABLE_TIMESTAMP
   OS << "  Built " __DATE__ " (" __TIME__ ")\n";