diff --git a/src/storm/storage/expressions/RationalFunctionToExpression.cpp b/src/storm/storage/expressions/RationalFunctionToExpression.cpp index 8929a58db..81abc8f36 100644 --- a/src/storm/storage/expressions/RationalFunctionToExpression.cpp +++ b/src/storm/storage/expressions/RationalFunctionToExpression.cpp @@ -37,7 +37,6 @@ namespace storm { STORM_LOG_DEBUG("Expecting the denominator to be constant"); } - storm::expressions::Expression denominatorVal = manager->rational(storm::utility::convertNumber(denominator.constantPart())); storm::expressions::Expression result; if (function.isConstant()) { result = manager->rational(storm::utility::convertNumber(function.constantPart())); @@ -56,8 +55,10 @@ namespace storm { result = result + nominatorPartExpr; } } + storm::expressions::Expression denominatorVal = manager->rational(storm::utility::convertNumber(denominator.constantPart())); + result = result / denominatorVal; } - result = result / denominatorVal; + return result; }