From 271ed284a62a6392ff45ca9430acd69ca33aa736 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Thu, 13 Aug 2020 09:12:50 +0200
Subject: [PATCH] fix player ostream output

---
 src/storm/storage/prism/Player.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/prism/Player.cpp b/src/storm/storage/prism/Player.cpp
index 845c45dc5..2905a3b29 100644
--- a/src/storm/storage/prism/Player.cpp
+++ b/src/storm/storage/prism/Player.cpp
@@ -21,7 +21,7 @@ namespace storm {
         std::ostream& operator<<(std::ostream& stream, Player const& player) {
             stream << "player";
             if (player.getName() != "") {
-                stream << " \"" << player.getName() << "\"";
+                stream << " " << player.getName();
             }
             stream << std::endl;
             for (auto const& module : player.getModules()) {
@@ -33,7 +33,8 @@ namespace storm {
                 stream << "[" << command.getActionName() << "] ";
                 //&command != (player.getCommands()).back ? std::cout << "," : std::cout << std::endl;
             }
-            stream << "player" << std::endl;
+            stream << std::endl;
+            stream << "endplayer" << std::endl;
             return stream;
         }
     } // namespace prism