diff --git a/src/storm/models/sparse/MarkovAutomaton.cpp b/src/storm/models/sparse/MarkovAutomaton.cpp index 485aa8a64..8bc00fa99 100644 --- a/src/storm/models/sparse/MarkovAutomaton.cpp +++ b/src/storm/models/sparse/MarkovAutomaton.cpp @@ -50,7 +50,9 @@ namespace storm { if (components.exitRates) { exitRates = std::move(components.exitRates.get()); - } else { + } + + if (components.rateTransitions) { this->turnRatesToProbabilities(); } closed = this->checkIsClosed();