From 4b8444f6aa0b8551f5b51fa96321bb3b0e7b6d68 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Wed, 17 Jan 2024 15:24:08 +0100
Subject: [PATCH] the agent cannot turn in lava

---
 util/PrismModulesPrinter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index 5e27ad7..cf91edc 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -278,6 +278,7 @@ namespace prism {
     agentNameActionMap.at(a).insert({actionId, actionName});
     std::string guard = "  " + actionName;
     if(slipperyBehaviour()) guard += " !" + a + "IsOnSlippery & ";
+    if(anyLava)             guard += " !" + a + "IsOnLava &";
     guard += cond + " -> ";
     return guard;
   }