diff --git a/src/opt/eslim/delayEngine.cpp b/src/opt/eslim/delayEngine.cpp index 5e92566cf..c0a867511 100644 --- a/src/opt/eslim/delayEngine.cpp +++ b/src/opt/eslim/delayEngine.cpp @@ -121,9 +121,8 @@ namespace eSLIM { } std::vector DelayEngine::reduceDelay(unsigned int max_size, unsigned int initial_delay) { - assert (delay_selectors.find(initial_delay) != delay_selectors.end()); std::vector last_model; - for( auto it = delay_selectors.find(initial_delay); it != delay_selectors.end(); ++it ) { + for( auto it = delay_selectors.lower_bound(initial_delay); it != delay_selectors.end(); ++it ) { int d = it->first; double timeout = getDynamicTimeout(max_size); int status = existsReplacement(max_size, d, timeout);