From db72a053587e601a991f59961931b17d3c64274c Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 19 Jul 2018 10:04:44 +0200
Subject: [PATCH] fixed log output

---
 src/storm/solver/helper/SoundValueIterationHelper.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/solver/helper/SoundValueIterationHelper.cpp b/src/storm/solver/helper/SoundValueIterationHelper.cpp
index 081c4a51d..674ea5160 100644
--- a/src/storm/solver/helper/SoundValueIterationHelper.cpp
+++ b/src/storm/solver/helper/SoundValueIterationHelper.cpp
@@ -303,7 +303,7 @@ namespace storm {
                 
                 STORM_LOG_INFO("Sound Value Iteration terminated with lower bound (over all states) "
                                        << (hasLowerBound ? lowerBound : storm::utility::zero<ValueType>()) << (hasLowerBound ? "" : "(none)")
-                                       << " and upper bound (over all states)"
+                                       << " and upper bound (over all states) "
                                        << (hasUpperBound ? upperBound : storm::utility::infinity<ValueType>()) << (hasUpperBound ? "" : "(none)")
                                        << ". Decision value is "
                                        << (hasDecisionValue ? decisionValue : -storm::utility::infinity<ValueType>()) << (hasDecisionValue ? "" : "(none)")