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

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

diff --git a/src/search/search_algorithms/lazy_search.cc b/src/search/search_algorithms/lazy_search.cc
index df1dd4f953..6f8337d5c4 100644
--- a/src/search/search_algorithms/lazy_search.cc
+++ b/src/search/search_algorithms/lazy_search.cc
@@ -117,7 +117,7 @@ void LazySearch::generate_successors() {
 
 SearchStatus LazySearch::fetch_next_state() {
     if (open_list->empty()) {
-        log << "Completely explored state space -- no solution!" << endl;
+        log << "No solution - FAILED" << endl;
         return FAILED;
     }