From caf1683f392114917c9d2ae26608deb36d1ef265 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 28 Feb 2017 10:31:37 +0100
Subject: [PATCH] fixed checking whether a sink state is required in
 GoalStateMerger

---
 src/storm/transformer/GoalStateMerger.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/transformer/GoalStateMerger.cpp b/src/storm/transformer/GoalStateMerger.cpp
index 69ac6cd16..f7f7de439 100644
--- a/src/storm/transformer/GoalStateMerger.cpp
+++ b/src/storm/transformer/GoalStateMerger.cpp
@@ -74,7 +74,7 @@ namespace storm {
             // Get the number of rows, cols and entries that the resulting transition matrix will have.
             uint_fast64_t resNumStates(maybeStates.getNumberOfSetBits()), resNumActions(0), resNumTransitions(0);
             bool targetStateRequired = !originalModel.getInitialStates().isDisjointFrom(targetStates);
-            bool sinkStateRequired = !originalModel.getInitialStates().isDisjointFrom(targetStates);
+            bool sinkStateRequired = !originalModel.getInitialStates().isDisjointFrom(sinkStates);
             for( auto state : maybeStates) {
                 resNumActions += origMatrix.getRowGroupSize(state);
                 bool hasTransitionToTarget(false), hasTransitionToSink(false);