From ae759d0496f6b3dbecc70f2fda63d14739b37826 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 20 May 2016 22:06:47 +0200
Subject: [PATCH] Fixed compile error in output function

Former-commit-id: e5e7f2e93fb757f25ee580c2fe22146a62e07b31
---
 src/storage/jani/RenameComposition.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/jani/RenameComposition.cpp b/src/storage/jani/RenameComposition.cpp
index ec3db4ff9..a88139fa7 100644
--- a/src/storage/jani/RenameComposition.cpp
+++ b/src/storage/jani/RenameComposition.cpp
@@ -27,7 +27,7 @@ namespace storm {
                 std::stringstream stream;
                 stream << entry.first << " -> ";
                 if (entry.second) {
-                    stream << entry.second;
+                    stream << entry.second.get();
                 } else {
                     stream << "tau";
                 }