diff options
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStrategy.java | 1 |
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 { | |||
195 | } | 195 | } |
196 | 196 | ||
197 | // State is fully traversed. | 197 | // State is fully traversed. |
198 | trajectoriesToExplore.remove(currentTrajectoryWithFitness); | ||
199 | currentTrajectoryWithFitness = null; | 198 | currentTrajectoryWithFitness = null; |
200 | 199 | ||
201 | } | 200 | } |