From 801dc5b210f1a61e3f0b1a9c201b3833cefc9262 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Sat, 20 Jan 2024 17:19:39 +0100
Subject: [PATCH] only print goal related actions if there is one

---
 util/PrismModulesPrinter.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index eecd919..49d0425 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -193,7 +193,7 @@ namespace prism {
     os << "\n" << actionStream.str();
     actionStream.str(std::string());
 
-    if(agentNameAndPositionMap.size() > 1 && agentName == "Agent") printDoneActions(agentName);
+    if(agentNameAndPositionMap.size() > 1 && agentName == "Agent" && anyGoals) printDoneActions(agentName);
     os << "endmodule\n\n";
   }
 
@@ -502,7 +502,7 @@ namespace prism {
       else os << ", ";
       os << actionName;
     }
-    if(agentName == "Agent") os << ", [Agent_on_goal]";
+    if(agentName == "Agent" && anyGoals) os << ", [Agent_on_goal]";
     os << "\nendplayer\n";
   }