diff options
Diffstat (limited to 'tools/kleaver/main.cpp')
| -rw-r--r-- | tools/kleaver/main.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
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); |