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);