From 4758ef73ecd402086ab5d3e1de99335fd794f9b8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 15 Jan 2015 14:39:08 +0100
Subject: [PATCH] Fixed an issue that gcc has problems with.

Former-commit-id: 69c9b71d0110407c21536f3ed067e222517daa31
---
 src/storage/expressions/ToExprtkStringVisitor.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storage/expressions/ToExprtkStringVisitor.cpp b/src/storage/expressions/ToExprtkStringVisitor.cpp
index 9a1aac389..f3a89b2c5 100644
--- a/src/storage/expressions/ToExprtkStringVisitor.cpp
+++ b/src/storage/expressions/ToExprtkStringVisitor.cpp
@@ -7,7 +7,8 @@ namespace storm {
         }
         
         std::string ToExprtkStringVisitor::toString(BaseExpression const* expression) {
-            stream = std::stringstream();
+            stream.str("");
+            stream.clear();
             expression->accept(*this);
             return std::move(stream.str());
         }