diff --git a/src/storm/storage/expressions/ToRationalFunctionVisitor.cpp b/src/storm/storage/expressions/ToRationalFunctionVisitor.cpp index 870014f60..38d5850c3 100644 --- a/src/storm/storage/expressions/ToRationalFunctionVisitor.cpp +++ b/src/storm/storage/expressions/ToRationalFunctionVisitor.cpp @@ -54,7 +54,7 @@ namespace storm { return firstOperandAsRationalFunction / secondOperandAsRationalFunction; break; case BinaryNumericalFunctionExpression::OperatorType::Power: - STORM_LOG_THROW(storm::utility::isInteger(secondOperandAsRationalFunction), storm::exceptions::InvalidArgumentException, "Exponent of power operator must be a positive integer."); + STORM_LOG_THROW(storm::utility::isInteger(secondOperandAsRationalFunction), storm::exceptions::InvalidArgumentException, "Exponent of power operator must be a positive integer but is " << secondOperandAsRationalFunction << "."); exponentAsInteger = storm::utility::convertNumber(secondOperandAsRationalFunction); return storm::utility::pow(firstOperandAsRationalFunction, exponentAsInteger); break;