diff options
| -rw-r--r-- | lib/Module/Passes.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h index c480c6d8..f9454ffd 100644 --- a/lib/Module/Passes.h +++ b/lib/Module/Passes.h @@ -10,6 +10,8 @@ #ifndef KLEE_PASSES_H #define KLEE_PASSES_H +#include "klee/Config/config.h" + #include "llvm/Constants.h" #include "llvm/Instructions.h" #include "llvm/Module.h" |