From bb2bef9b04acc1f5f420ab54777b9c6bf1f97164 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Mon, 8 Jan 2024 13:36:51 +0100
Subject: [PATCH] updates is a vector of update

---
 util/PrismPrinter.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/PrismPrinter.h b/util/PrismPrinter.h
index 397cfa9..572cb40 100644
--- a/util/PrismPrinter.h
+++ b/util/PrismPrinter.h
@@ -13,7 +13,7 @@ typedef std::map<AgentNameAndPosition::first_type, AgentNameAndPosition::second_
 typedef std::map<KeyNameAndPosition::first_type, KeyNameAndPosition::second_type> KeyNameAndPositionMap;
 typedef std::pair<cell, std::string> CellAndCondition;
 typedef std::pair<float, std::string> update;
-typedef std::map<update::first_type, update::second_type> updates;
+typedef std::vector<update> updates;
 typedef int8_t ActionId;
 
 std::string capitalize(std::string string);