From d773e3f762affd7189d34fbd6d1e7e0e5af3f712 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Wed, 11 Sep 2019 21:19:24 +0100
Subject: refactor PTree: remove split(), add attach() method

---
 lib/Core/Executor.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 851a52ec..c3111713 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -136,7 +136,7 @@ private:
   TreeStreamWriter *pathWriter, *symPathWriter;
   SpecialFunctionHandler *specialFunctionHandler;
   std::vector<TimerInfo*> timers;
-  PTree *processTree;
+  std::unique_ptr<PTree> processTree;
 
   /// Keeps track of all currently ongoing merges.
   /// An ongoing merge is a set of states which branched from a single state
-- 
cgit 1.4.1