1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp
index cbb88727..299bb89d 100644
--- a/lib/Core/Searcher.cpp
+++ b/lib/Core/Searcher.cpp
@@ -566,7 +566,7 @@ void IterativeDeepeningTimeSearcher::update(ExecutionState *current,
       ExecutionState *es = *it;
       std::set<ExecutionState*>::const_iterator it2 = pausedStates.find(es);
       if (it2 != pausedStates.end()) {
-        pausedStates.erase(it);
+        pausedStates.erase(it2);
         alt.erase(alt.find(es));
       }
     }