From 7e847e420bbfaa1143378817eeda5728c00436e1 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 29 Jan 2015 18:20:48 +0100
Subject: [PATCH] (Hopefully) successfully merged the changes of master into
 parametricSystems.

Former-commit-id: 6ef6400449c072dc42f7da2f737e702bc260d4cd
---
 src/stormParametric.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stormParametric.cpp b/src/stormParametric.cpp
index a38311344..3adba87ff 100644
--- a/src/stormParametric.cpp
+++ b/src/stormParametric.cpp
@@ -226,7 +226,7 @@ void check() {
     std::unique_ptr<storm::modelchecker::CheckResult> result = modelchecker.check(*formula);
 
     // Report the result.
-    STORM_PRINT_AND_LOG(std::endl << "Result: " << std::endl);
+    STORM_PRINT_AND_LOG(std::endl << "Result (initial state): ");
     result->writeToStream(std::cout, model->getInitialStates());
     if (std::is_same<ValueType, storm::RationalFunction>::value) {
         printApproximateResult(result->asExplicitQuantitativeCheckResult<ValueType>()[*model->getInitialStates().begin()]);