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 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 << ": ";