From 5a4823df4f3ead642e4a6e84a972db5ed61a075a Mon Sep 17 00:00:00 2001
From: Sebastian Poeplau <sebastian.poeplau@eurecom.fr>
Date: Wed, 25 Jul 2018 14:56:39 +0200
Subject: Fix PTree::remove to clean the tree properly

The previous version left unnecessary intermediate nodes behind, sometimes
leading to very long paths in the tree.
---
 lib/Core/PTree.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Core/PTree.h')

diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index b1b6e9fc..3d87611d 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -49,7 +49,7 @@ namespace klee {
 
     void attach(PTreeNode *node, ExecutionState *leftState,
                 ExecutionState *rightState);
-    static void remove(PTreeNode *node);
+    void remove(PTreeNode *node);
     void dump(llvm::raw_ostream &os);
     std::uint8_t getNextId() {
       std::uint8_t id = 1 << registeredIds++;
-- 
cgit 1.4.1