diff options
Diffstat (limited to 'lib/Core/Searcher.cpp')
| -rw-r--r-- | lib/Core/Searcher.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp index e2f11a87..f8fd2aea 100644 --- a/lib/Core/Searcher.cpp +++ b/lib/Core/Searcher.cpp @@ -420,7 +420,7 @@ void IterativeDeepeningTimeSearcher::update( removedStates.end() && elapsed > time) { pausedStates.insert(current); - baseSearcher->removeState(current); + baseSearcher->update(nullptr, {}, {current}); } // no states left in underlying searcher: fill with paused states |