From 4d248eb0a1896f0f1054b54cf1b4caf969fde1e0 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 1 Sep 2017 14:08:43 +0200
Subject: [PATCH] fixed assertion

---
 .../multiobjective/SparseMultiObjectivePreprocessor.cpp         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp
index 72c01f11f..7e426e0cd 100644
--- a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp
+++ b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp
@@ -484,7 +484,7 @@ namespace storm {
                 result.reward0EStates = storm::utility::graph::performProbGreater0A(transitions, groupIndices, backwardTransitions, allStates, statesWithRewardForAllChoices, false, 0, zeroRewardChoices);
                 result.reward0EStates.complement();
                 result.reward0AStates = storm::utility::graph::performProb0A(backwardTransitions, allStates, statesWithRewardForOneChoice);
-                assert(result.reward0EStates.isSubsetOf(result.reward0AStates));
+                assert(result.reward0AStates.isSubsetOf(result.reward0EStates));
             }
          
             template<typename SparseModelType>