From 013695a6cec15c82e6cac848e2f82f8250968675 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 29 Oct 2019 23:09:20 +0100
Subject: [PATCH] Fixed compile issue: boost::split seems to need an lvalue for
 the input string.

---
 src/storm/models/sparse/Model.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/Model.cpp b/src/storm/models/sparse/Model.cpp
index 1fe875ab9..6e087822f 100644
--- a/src/storm/models/sparse/Model.cpp
+++ b/src/storm/models/sparse/Model.cpp
@@ -350,8 +350,9 @@ namespace storm {
                             if (includeLabeling || firstValue != nullptr || secondValue != nullptr || hasStateValuations()) {
                                 outStream << "label = \"" << state;
                                 if (hasStateValuations()) {
+                                    std::string stateInfo = getStateValuations().getStateInfo(state);
                                     std::vector<std::string> results;
-                                    boost::split(results, getStateValuations().getStateInfo(state), [](char c) { return c == ',';});
+                                    boost::split(results, stateInfo, [](char c) { return c == ',';});
                                     storm::utility::outputFixedWidth(outStream, results, maxWidthLabel);
                                 }
                                 outStream << ": ";