From 90d8a6fb1a71c030f87fff5685b5d6f39ed4ac09 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Fri, 2 Sep 2011 19:25:37 +0000
Subject: Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@139026 91177308-0d34-0410-b5e6-96231b3b80d8
---
 tools/klee/main.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 16cc6283..a5b8d046 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -36,7 +36,11 @@
 #undef PACKAGE_STRING
 #undef PACKAGE_TARNAME
 #undef PACKAGE_VERSION
+#if LLVM_VERSION_CODE < LLVM_VERSION(3, 0)
 #include "llvm/Target/TargetSelect.h"
+#else
+#include "llvm/Support/TargetSelect.h"
+#endif
 #if LLVM_VERSION_CODE < LLVM_VERSION(2, 9)
 #include "llvm/System/Signals.h"
 #else
-- 
cgit 1.4.1