diff --git a/src/storm/models/sparse/MarkovAutomaton.cpp b/src/storm/models/sparse/MarkovAutomaton.cpp index 38a06e091..e7c296b07 100644 --- a/src/storm/models/sparse/MarkovAutomaton.cpp +++ b/src/storm/models/sparse/MarkovAutomaton.cpp @@ -206,6 +206,7 @@ namespace storm { if (isClosed() && markovianStates.full()) { storm::storage::sparse::ModelComponents components(this->getTransitionMatrix(), this->getStateLabeling(), this->getRewardModels(), false); components.transitionMatrix.makeRowGroupingTrivial(); + components.exitRates = this->getExitRates(); if (this->hasChoiceLabeling()) { components.choiceLabeling = this->getChoiceLabeling(); }