From 546e047b8deb00769d921dcb3ea671e033b21c38 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 16 Mar 2015 17:40:11 +0100
Subject: [PATCH] Fixed a bug that prevented correct comparison with bounds in
 formulas.

Former-commit-id: ae6c28dcbe8057f8b087bedf06151fcebbada3ed
---
 .../results/ExplicitQuantitativeCheckResult.cpp           | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp b/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
index 31b7e5296..3cb22b151 100644
--- a/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
+++ b/src/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
@@ -127,28 +127,28 @@ namespace storm {
                 switch (comparisonType) {
                     case logic::Less:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] < bound) {
+                            if (valuesAsVector[index] < bound) {
                                 result.set(index);
                             }
                         }
                         break;
                     case logic::LessEqual:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] <= bound) {
+                            if (valuesAsVector[index] <= bound) {
                                 result.set(index);
                             }
                         }
                         break;
                     case logic::Greater:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] > bound) {
+                            if (valuesAsVector[index] > bound) {
                                 result.set(index);
                             }
                         }
                         break;
                     case logic::GreaterEqual:
                         for (uint_fast64_t index = 0; index < valuesAsVector.size(); ++index) {
-                            if (result[index] >= bound) {
+                            if (valuesAsVector[index] >= bound) {
                                 result.set(index);
                             }
                         }