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>