From 54b912d350e9d23cf69fa3a53958458769a00384 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 20 Mar 2020 16:14:40 +0100
Subject: [PATCH] storm-pomdp: better output.

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 1cad9014a..fa23bbb77 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -127,10 +127,11 @@ namespace storm {
                             STORM_PRINT_AND_LOG("Result: ")
                         }
                         printResult(result->underApproxValue, result->overApproxValue);
-                        analysisPerformed = true;
+                        STORM_PRINT_AND_LOG(std::endl);
                     } else {
-                        STORM_PRINT_AND_LOG("Result: Not available.");
+                        STORM_PRINT_AND_LOG("Result: Not available." << std::endl);
                     }
+                    analysisPerformed = true;
                 }
                 if (pomdpSettings.isMemlessSearchSet()) {
                     STORM_LOG_THROW(formulaInfo.isNonNestedReachabilityProbability(), storm::exceptions::NotSupportedException, "Qualitative memoryless scheduler search is not implemented for this property type.");