diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index ddb1faec..c35d9561 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -24,6 +24,9 @@ #include "klee/Support/PrintVersion.h" #include "klee/System/Time.h" +#include "klee/Support/CompilerWarning.h" +DISABLE_WARNING_PUSH +DISABLE_WARNING_DEPRECATED_DECLARATIONS #include "llvm/Bitcode/BitcodeReader.h" #include "llvm/IR/Constants.h" #include "llvm/IR/IRBuilder.h" @@ -43,7 +46,7 @@ #include "llvm/Support/TargetSelect.h" #include "llvm/Support/Signals.h" - +DISABLE_WARNING_POP #include <dirent.h> #include <signal.h> |