From 0283e402ad3cb7fac9f140c6d0b9f476bd7b78fb Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 15 Mar 2017 09:31:01 +0100
Subject: [PATCH] fixed output

---
 src/storm/utility/storm.h | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/storm/utility/storm.h b/src/storm/utility/storm.h
index 9f5bbbb0f..241f7d378 100644
--- a/src/storm/utility/storm.h
+++ b/src/storm/utility/storm.h
@@ -364,9 +364,8 @@ namespace storm {
             }
         }
         
-        STORM_PRINT_AND_LOG("Done! Found " << numOfSatRegions << " safe regions, "
-                                     << numOfUnsatRegions << " unsafe regions, and "
-                                     << result.size() - numOfSatRegions - numOfUnsatRegions << " unknown regions." << std::endl);
+        STORM_PRINT_AND_LOG("Done! Found " << numOfSatRegions << " safe regions and "
+                                     << numOfUnsatRegions << " unsafe regions." << std::endl);
         STORM_PRINT_AND_LOG(storm::utility::convertNumber<double>(satArea / parameterSpace.area()) * 100 << "% of the parameter space is safe, and "
                          << storm::utility::convertNumber<double>(unsatArea / parameterSpace.area()) * 100 << "% of the parameter space is unsafe." << std::endl);
         parameterLiftingStopWatch.stop();