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