From 9190869fc6f7ffd39dcf9b08e771ee88f8d5b82a Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Wed, 10 Jan 2024 19:17:08 +0100
Subject: [PATCH] adapted call to PrismModulesPrinter
---
util/Grid.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/Grid.cpp b/util/Grid.cpp
index 294ddd1..28572c3 100644
--- a/util/Grid.cpp
+++ b/util/Grid.cpp
@@ -158,7 +158,7 @@ void Grid::printToPrism(std::ostream& os, std::vector<Configuration>& configurat
std::string agentName = agentNames.at(0);
prism::PrismFormulaPrinter formulas(os, wallRestrictions, walls, boxes, balls, lockedDoors, unlockedDoors, keys, slipperyTiles, lava, goals);
- prism::PrismModulesPrinter modules(os, modelType, maxBoundaries, boxes, balls, lockedDoors, unlockedDoors, keys, slipperyTiles, agentNameAndPositionMap, configuration, probIntended, faultyProbability);
+ prism::PrismModulesPrinter modules(os, modelType, maxBoundaries, boxes, balls, lockedDoors, unlockedDoors, keys, slipperyTiles, agentNameAndPositionMap, configuration, probIntended, faultyProbability, !lava.empty(), !goals.empty());
modules.printModelType(modelType);
for(const auto &agentName : agentNames) {