From 6d5af2d41430f07ba3d64525e1368f17a8cfdaf1 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 14 Sep 2018 16:38:13 +0200
Subject: [PATCH] fixed exporting model-features

---
 src/storm/storage/jani/ModelFeatures.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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;
         }