diff options
| -rw-r--r-- | tools/kleaver/main.cpp | 3 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index b19e2ea6..f5c7c67a 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -33,7 +33,10 @@ #undef PACKAGE_VERSION #include "llvm/Support/Signals.h" + +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) #include "llvm/Support/system_error.h" +#endif using namespace llvm; using namespace klee; diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index a7f2fbc6..4a80cb77 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -52,7 +52,10 @@ #include "llvm/Support/TargetSelect.h" #endif #include "llvm/Support/Signals.h" + +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) #include "llvm/Support/system_error.h" +#endif #include <dirent.h> #include <signal.h> |