diff options
Diffstat (limited to 'lib/Core/PTree.h')
-rw-r--r-- | lib/Core/PTree.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h index b13b1d67..3185203f 100644 --- a/lib/Core/PTree.h +++ b/lib/Core/PTree.h @@ -10,7 +10,7 @@ #ifndef KLEE_PTREE_H #define KLEE_PTREE_H -#include <klee/Expr.h> +#include <klee/Expr/Expr.h> namespace klee { class ExecutionState; |