From a3ada8a0c313d1c2af9b8b6565916685863cbeb9 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 16 Dec 2020 12:32:53 +0100
Subject: [PATCH] cli: added a space that was missing in output of steady-state
 result

---
 src/storm-cli-utilities/model-handling.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index 520e3c878..f1ad5f36e 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -1053,7 +1053,7 @@ namespace storm {
                 }
                 watch.stop();
                 postprocessingCallback(result);
-                STORM_PRINT((storm::utility::resources::isTerminate() ? "Result till abort:" : "Result:") << *result << std::endl);
+                STORM_PRINT((storm::utility::resources::isTerminate() ? "Result till abort: " : "Result: ") << *result << std::endl);
                 STORM_PRINT("Time for model checking: " << watch << "." << std::endl);
             }
         }