1 files changed, 0 insertions, 8 deletions
diff --git a/unittests/TestMain.cpp b/unittests/TestMain.cpp
index 42dd721a..9512e59a 100644
--- a/unittests/TestMain.cpp
+++ b/unittests/TestMain.cpp
@@ -7,21 +7,13 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Config/Version.h"
-
 #include "llvm/ADT/StringRef.h"
 #include "llvm/Support/Signals.h"
 
 #include "gtest/gtest.h"
 
 int main(int argc, char **argv) {
-
-#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9)
   llvm::sys::PrintStackTraceOnErrorSignal(argv[0], true);
-#else
-  llvm::sys::PrintStackTraceOnErrorSignal(true);
-#endif
-
   testing::InitGoogleTest(&argc, argv);
   return RUN_ALL_TESTS();
 }