From 07632e75e21e3c61f1ab46f76618cb1b807bd6c3 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Tue, 22 Mar 2016 16:17:24 +0100
Subject: IterativeDeepeningTimeSearcher: Fix using wrong iterator

---
 lib/Core/Searcher.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Core')

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));
       }
     }    
-- 
cgit 1.4.1