1 files changed, 0 insertions, 2 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
index 9a03b0b8..a2b6268f 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java
@@ -36,7 +36,6 @@ public class BestFirstExplorer extends BestFirstWorker {
                         if (lastVisited == null) {
                                 lastVisited = this.restoreToBest();
                                 if(lastVisited == null) {
-                                        visualizerAdapter.visualize();
                                         return;
                                 }
                         }
@@ -162,7 +161,6 @@ public class BestFirstExplorer extends BestFirstWorker {
 */
                 }
                 // Interrupted.
-                visualizerAdapter.visualize();
 
         }
 }