1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp
index a9c7d318..0a1e6152 100644
--- a/lib/Core/Searcher.cpp
+++ b/lib/Core/Searcher.cpp
@@ -269,19 +269,19 @@ RandomPathSearcher::~RandomPathSearcher() {
 
 ExecutionState &RandomPathSearcher::selectState() {
   unsigned flips=0, bits=0;
-  PTreeNode *n = executor.processTree->root.get();
+  PTreeNode *n = executor.processTree->root;
   while (!n->state) {
     if (!n->left) {
-      n = n->right.get();
+      n = n->right;
     } else if (!n->right) {
-      n = n->left.get();
+      n = n->left;
     } else {
       if (bits==0) {
         flips = theRNG.getInt32();
         bits = 32;
       }
       --bits;
-      n = (flips&(1<<bits)) ? n->left.get() : n->right.get();
+      n = (flips&(1<<bits)) ? n->left : n->right;
     }
   }