From 04ec94090142311a912933c970203bdf35560e0b Mon Sep 17 00:00:00 2001
From: SimonDold <48084373+SimonDold@users.noreply.github.com>
Date: Wed, 4 Oct 2023 17:12:52 +0200
Subject: [PATCH] improve log message.

---
 src/search/search_algorithms/eager_search.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<SearchNode> 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();