1 files changed, 0 insertions, 1 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java
index 047b204a..92d878ce 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java
@@ -195,7 +195,6 @@ public class BestFirstStrategy implements Strategy {
                         }
 
                         // State is fully traversed.
-                        trajectoriesToExplore.remove(currentTrajectoryWithFitness);
                         currentTrajectoryWithFitness = null;
 
                 }