diff --git a/src/storm/storage/jani/ModelFeatures.cpp b/src/storm/storage/jani/ModelFeatures.cpp index 205b7cfc3..8bb8d6475 100644 --- a/src/storm/storage/jani/ModelFeatures.cpp +++ b/src/storm/storage/jani/ModelFeatures.cpp @@ -21,7 +21,7 @@ namespace storm { } std::string ModelFeatures::toString() const { - std::string res = "["; + std::string res; bool first = true; for (auto const& f : features) { if (!first) { @@ -30,7 +30,6 @@ namespace storm { res += storm::jani::toString(f); first = false; } - res += "]"; return res; }