diff --git a/src/stormParametric.cpp b/src/stormParametric.cpp index 21df8eff0..ad0a41933 100644 --- a/src/stormParametric.cpp +++ b/src/stormParametric.cpp @@ -192,7 +192,7 @@ int main(const int argc, const char** argv) { // Perform bisimulation minimization if requested. if (storm::settings::generalSettings().isBisimulationSet()) { - storm::storage::DeterministicModelBisimulationDecomposition bisimulationDecomposition(*dtmc, phiStateFormulaApFormula->getAp(), psiStateFormulaApFormula->getAp(), true, storm::settings::bisimulationSettings().isWeakBisimulationSet(), false, true); + storm::storage::DeterministicModelBisimulationDecomposition bisimulationDecomposition(*dtmc, phiStateFormulaApFormula->getAp(), psiStateFormulaApFormula->getAp(), keepRewards, storm::settings::bisimulationSettings().isWeakBisimulationSet(), false, true); dtmc = bisimulationDecomposition.getQuotient()->as>(); dtmc->printModelInformationToStream(std::cout);