diff options
Diffstat (limited to 'lib/Core/PTree.cpp')
| -rw-r--r-- | lib/Core/PTree.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/Core/PTree.cpp b/lib/Core/PTree.cpp index e3e38868..732dc817 100644 --- a/lib/Core/PTree.cpp +++ b/lib/Core/PTree.cpp @@ -9,15 +9,13 @@ #include "PTree.h" -#include <klee/Expr.h> -#include <klee/util/ExprPPrinter.h> +#include <klee/Expr/Expr.h> +#include <klee/Expr/ExprPPrinter.h> #include <vector> using namespace klee; - /* *** */ - PTree::PTree(const data_type &root) : root(new Node(nullptr, root)) {} std::pair<PTreeNode*, PTreeNode*> |