From bd8bf2eca5115c723343902d865f1f3d0bef2b24 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Thu, 18 Jan 2024 21:56:03 +0100
Subject: [PATCH] print collision formula when other agents present

---
 util/Grid.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/Grid.cpp b/util/Grid.cpp
index 0fcf24e..91366b2 100644
--- a/util/Grid.cpp
+++ b/util/Grid.cpp
@@ -161,7 +161,7 @@ void Grid::printToPrism(std::ostream& os, std::vector<Configuration>& configurat
   for(const auto &agentName : agentNames) {
     formulas.print(agentName);
   }
-  formulas.printCollisionFormula(agentName);
+  if(agentNameAndPositionMap.size() > 1) formulas.printCollisionFormula(agentName);
   formulas.printInitStruct();
 
   modules.print();