diff --git a/src/search/search_algorithms/eager_search.cc b/src/search/search_algorithms/eager_search.cc index 74a91808bc..e353239294 100644 --- a/src/search/search_algorithms/eager_search.cc +++ b/src/search/search_algorithms/eager_search.cc @@ -111,7 +111,7 @@ SearchStatus EagerSearch::step() { optional node; while (true) { if (open_list->empty()) { - log << "Completely explored state space -- no solution!" << endl; + log << "No solution - FAILED" << endl; return FAILED; } StateID id = open_list->remove_min();