From d99bbdfb77a953e85016afa68b68835fcbe7da4f Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 2 May 2010 20:02:34 +0000 Subject: Add missing include of Config.h, which was causing LLVM version checks to be broken, and thus we were removing all dbg.stoppoint instructions from modules. This totally broke debug info with 2.6. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102873 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Module/IntrinsicCleaner.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/Module') diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 4d44f800..5898e89d 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -9,6 +9,7 @@ #include "Passes.h" +#include "klee/Config/config.h" #include "llvm/Constants.h" #include "llvm/DerivedTypes.h" #include "llvm/Function.h" -- cgit 1.4.1