From 8271045b27f2cd9e53f80278b8eaae5062f18208 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 8 Jan 2016 18:12:37 +0100
Subject: [PATCH] ToString is const

Former-commit-id: d512894cf4a5af371607da5b7d7805706783f350
---
 src/storage/expressions/Expression.cpp | 2 +-
 src/storage/expressions/Expression.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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);