diff options
Diffstat (limited to 'lib/Module/RaiseAsm.cpp')
| -rw-r--r-- | lib/Module/RaiseAsm.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Module/RaiseAsm.cpp b/lib/Module/RaiseAsm.cpp index b62338a6..42940fda 100644 --- a/lib/Module/RaiseAsm.cpp +++ b/lib/Module/RaiseAsm.cpp @@ -10,6 +10,9 @@ #include "Passes.h" #include "llvm/InlineAsm.h" +#if !(LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 7) +#include "llvm/LLVMContext.h" +#endif using namespace llvm; using namespace klee; |