From b53b6ab27533c9b7189a54eac0d8d877660f51ee Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 27 Mar 2020 06:31:11 +0100
Subject: [PATCH] Added missing line breaks

---
 src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index b511b386d..1ff8d07ca 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@@ -94,12 +94,12 @@ namespace storm {
                 stream << "# Max. Number of states with same observation: " << pomdp.getMaxNrStatesWithSameObservation() << std::endl;
                 
                 if (statistics.aborted) {
-                    stream << "# Computation aborted early";
+                    stream << "# Computation aborted early" << std::endl;
                 }
                 
                 // Refinement information:
                 if (statistics.refinementSteps) {
-                    stream << "# Number of refinement steps: " << statistics.refinementSteps.get();
+                    stream << "# Number of refinement steps: " << statistics.refinementSteps.get() << std::endl;
                 }
                 
                 // The overapproximation MDP: