From d8553f3cec042b5af9e21c268cb14ee8f7b30083 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Wed, 15 Dec 2021 16:20:29 +0000 Subject: remove LLVM < 6 from sources --- tools/kleaver/main.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'tools/kleaver') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 0a4cfbff..558e7daf 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -395,11 +395,7 @@ int main(int argc, char **argv) { bool success = true; -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) llvm::sys::PrintStackTraceOnErrorSignal(argv[0]); -#else - llvm::sys::PrintStackTraceOnErrorSignal(); -#endif llvm::cl::SetVersionPrinter(klee::printVersion); llvm::cl::ParseCommandLineOptions(argc, argv); -- cgit 1.4.1