From fbae38cdf9ad3b7ebf7501c46028c3edd6e39b53 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 12 Sep 2014 14:33:28 +0100
Subject: Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.

---
 tools/kleaver/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index f5c7c67a..17a91907 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -15,7 +15,6 @@
 
 #include "klee/util/ExprSMTLIBLetPrinter.h"
 
-#include "llvm/ADT/OwningPtr.h"
 #include "llvm/ADT/StringExtras.h"
 #include "llvm/Support/CommandLine.h"
 #include "llvm/Support/ManagedStatic.h"
@@ -35,6 +34,7 @@
 #include "llvm/Support/Signals.h"
 
 #if LLVM_VERSION_CODE < LLVM_VERSION(3, 5)
+#include "llvm/ADT/OwningPtr.h"
 #include "llvm/Support/system_error.h"
 #endif
 
-- 
cgit 1.4.1