From e62baaf7644bcdf799b1d57a5124e28419b4fd50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Sol=C3=A0?= <jsola@iri.upc.edu>
Date: Thu, 20 Jan 2022 14:02:59 +0100
Subject: [PATCH] Modify first line printed by problem::print()

---
 src/problem/problem.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/problem/problem.cpp b/src/problem/problem.cpp
index 8cdffb007..8d5858a6e 100644
--- a/src/problem/problem.cpp
+++ b/src/problem/problem.cpp
@@ -1145,7 +1145,7 @@ void Problem::print(int _depth, bool _constr_by, bool _metric, bool _state_block
 {
 
     _stream << std::endl;
-    _stream << "P: wolf tree status ---------------------" << std::endl;
+    _stream << "Wolf tree status ------------------------" << std::endl;
 
     getHardware()->print(_depth, _constr_by, _metric, _state_blocks, _stream, "");
 
-- 
GitLab