diff options
Diffstat (limited to 'lib/Solver/Z3Builder.h')
| -rw-r--r-- | lib/Solver/Z3Builder.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Solver/Z3Builder.h b/lib/Solver/Z3Builder.h index efbf4f9a..4501ecbd 100644 --- a/lib/Solver/Z3Builder.h +++ b/lib/Solver/Z3Builder.h @@ -11,8 +11,9 @@ #define KLEE_Z3BUILDER_H #include "klee/Config/config.h" -#include "klee/util/ArrayExprHash.h" -#include "klee/util/ExprHashMap.h" +#include "klee/Expr/ArrayExprHash.h" +#include "klee/Expr/ExprHashMap.h" + #include <unordered_map> #include <z3.h> |