diff --git a/src/storm/models/sparse/StandardRewardModel.cpp b/src/storm/models/sparse/StandardRewardModel.cpp index 78ef3b5ee..c579b236f 100644 --- a/src/storm/models/sparse/StandardRewardModel.cpp +++ b/src/storm/models/sparse/StandardRewardModel.cpp @@ -266,11 +266,11 @@ namespace storm { if (this->hasStateActionRewards()) { result = storm::utility::vector::filterZero(this->getStateActionRewardVector()); if (this->hasStateRewards()) { - result &= transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateActionRewardVector())); + result &= transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateRewardVector())); } } else { if (this->hasStateRewards()) { - result = transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateActionRewardVector())); + result = transitionMatrix.getRowIndicesOfRowGroups(storm::utility::vector::filterZero(this->getStateRewardVector())); } else { result = storm::storage::BitVector(transitionMatrix.getRowCount(), true); }