From cae04c0e201b7ed46af49f7ce4ac2c8d975b8048 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 16 Jun 2016 16:12:05 +0200
Subject: [PATCH] fixed bug in symbolic quantitative check result

Former-commit-id: 00a6c46d38f316fcda74fc5ba29042bf8bcd7ffd
---
 src/modelchecker/results/SymbolicQuantitativeCheckResult.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker/results/SymbolicQuantitativeCheckResult.cpp b/src/modelchecker/results/SymbolicQuantitativeCheckResult.cpp
index ff65f22a7..0acd3ada3 100644
--- a/src/modelchecker/results/SymbolicQuantitativeCheckResult.cpp
+++ b/src/modelchecker/results/SymbolicQuantitativeCheckResult.cpp
@@ -27,7 +27,7 @@ namespace storm {
             } else if (comparisonType == storm::logic::ComparisonType::GreaterEqual) {
                 states = values.greaterOrEqual(bound);
             }
-            return std::unique_ptr<SymbolicQualitativeCheckResult<Type>>(new SymbolicQualitativeCheckResult<Type>(reachableStates, values.greaterOrEqual(bound)));;
+            return std::unique_ptr<SymbolicQualitativeCheckResult<Type>>(new SymbolicQualitativeCheckResult<Type>(reachableStates, states));
         }
         
         template<storm::dd::DdType Type, typename ValueType>