From dc6cb3f8663b668547168aa663a67ff32ebd9e5e Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 20 Aug 2014 23:14:05 +0100
Subject: Fix LLVM3.5 compilation a little more. ``Support/system_error.h`` was
 removed by r210803

---
 tools/kleaver/main.cpp | 3 +++
 tools/klee/main.cpp    | 3 +++
 2 files changed, 6 insertions(+)

(limited to 'tools')

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>
-- 
cgit 1.4.1