From a1ac41b01b9bd0ff43e0c6f114e31ecc20dae004 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Thu, 18 Jan 2024 21:12:39 +0100
Subject: [PATCH] fix bug with conditional movement formulas
---
util/PrismFormulaPrinter.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/util/PrismFormulaPrinter.cpp b/util/PrismFormulaPrinter.cpp
index 29b4a07..c8bc460 100644
--- a/util/PrismFormulaPrinter.cpp
+++ b/util/PrismFormulaPrinter.cpp
@@ -62,6 +62,7 @@ namespace prism {
{ }
void PrismFormulaPrinter::print(const AgentName &agentName) {
+ conditionalMovementRestrictions.clear();
for(const auto& [direction, cells] : restrictions) {
printRestrictionFormula(agentName, direction, cells);
}