diff --git a/src/storage/expressions/Expression.cpp b/src/storage/expressions/Expression.cpp index 96cf57a31..bc539c795 100644 --- a/src/storage/expressions/Expression.cpp +++ b/src/storage/expressions/Expression.cpp @@ -162,7 +162,7 @@ namespace storm { return this->getBaseExpression().accept(visitor); } - std::string Expression::toString() { + std::string Expression::toString() const { std::stringstream stream; stream << *this; return stream.str(); diff --git a/src/storage/expressions/Expression.h b/src/storage/expressions/Expression.h index e8fe0e60b..0c18f122a 100644 --- a/src/storage/expressions/Expression.h +++ b/src/storage/expressions/Expression.h @@ -297,7 +297,7 @@ namespace storm { * * @return The string representation of the expression. */ - std::string toString(); + std::string toString() const; friend std::ostream& operator<<(std::ostream& stream, Expression const& expression);