1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index 01632ebf..6456b57f 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -18,8 +18,8 @@ namespace klee {
   class PTreeNode {
   public:
     PTreeNode *parent = nullptr;
-    std::unique_ptr<PTreeNode> left;
-    std::unique_ptr<PTreeNode> right;
+    PTreeNode *left = nullptr;
+    PTreeNode *right = nullptr;
     ExecutionState *state = nullptr;
 
     PTreeNode(const PTreeNode&) = delete;
@@ -29,7 +29,7 @@ namespace klee {
 
   class PTree {
   public:
-    std::unique_ptr<PTreeNode> root;
+    PTreeNode * root = nullptr;
     explicit PTree(ExecutionState *initialState);
     ~PTree() = default;