From e0977ebb810cd85e431e96470ca837f8f9a70377 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Jan 2021 13:15:39 +0100
Subject: [PATCH] Fixed buildActionIndexToPlayerIndexMap

---
 src/storm/storage/prism/Program.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp
index 98ba19af6..0a892e20c 100644
--- a/src/storm/storage/prism/Program.cpp
+++ b/src/storm/storage/prism/Program.cpp
@@ -519,7 +519,7 @@ namespace storm {
             for (storm::storage::PlayerIndex i = 0; i < this->getPlayers().size(); ++i) {
                 for (auto const& act : this->getPlayers()[i].getActions()) {
                     STORM_LOG_ASSERT(hasAction(act), "Action " << act << " not found.");
-                    result.emplace(actionToIndexMap.at(act), i);
+                    result[actionToIndexMap.at(act)] = i;
                 }
             }
             return result;