cli: added a space that was missing in output of steady-state result

4 years ago · a3ada8a0c3
1 changed files with 1 additions and 1 deletions
--- 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);
            }
        }