diff --git a/src/search/search_algorithms/iterated_search.cc b/src/search/search_algorithms/iterated_search.cc index 1d47fbd930..91be629a5b 100644 --- a/src/search/search_algorithms/iterated_search.cc +++ b/src/search/search_algorithms/iterated_search.cc @@ -47,9 +47,7 @@ shared_ptr IteratedSearch::create_current_phase() { this overrides continue_on_fail. */ if (repeat_last_phase && last_phase_found_solution) { - return get_search_algorithm( - algorithm_configs.size() - - 1); + return get_search_algorithm(algorithm_configs.size() - 1); } else { return nullptr; }