diff --git a/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp b/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp index 9fdaa4d49..2382e1399 100644 --- a/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp +++ b/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp @@ -44,6 +44,7 @@ namespace storm { case OperatorType::Ceil: return static_cast(std::ceil(result)); break; default: STORM_LOG_ASSERT(false, "All other operator types should have been handled before."); + return 0;// Warning suppression. } } }