From dc6cb3f8663b668547168aa663a67ff32ebd9e5e Mon Sep 17 00:00:00 2001 From: Dan Liew 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 +++ 1 file changed, 3 insertions(+) (limited to 'tools/kleaver') 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; -- cgit 1.4.1