From a5842e4a616b5db0d7ce071b9d77def669abc00b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 6 Mar 2021 11:22:04 -0800
Subject: [PATCH] nasty bug where some sync action indices where not reflected
 in one of the data structures

---
 src/storm/storage/prism/Program.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp
index 893f87a44..d7bb65148 100644
--- a/src/storm/storage/prism/Program.cpp
+++ b/src/storm/storage/prism/Program.cpp
@@ -861,6 +861,7 @@ namespace storm {
                 // Only let all non-zero indices be synchronizing.
                 if (actionIndexPair.second != 0) {
                     this->synchronizingActionIndices.insert(actionIndexPair.second);
+                    this->actionIndicesToModuleIndexMap[actionIndexPair.second] = std::set<uint_fast64_t>();
                 }
             }
 
@@ -870,9 +871,6 @@ namespace storm {
 
                 for (auto const& actionIndex : module.getSynchronizingActionIndices()) {
                     auto const& actionModuleIndicesPair = this->actionIndicesToModuleIndexMap.find(actionIndex);
-                    if (actionModuleIndicesPair == this->actionIndicesToModuleIndexMap.end()) {
-                        this->actionIndicesToModuleIndexMap[actionIndex] = std::set<uint_fast64_t>();
-                    }
                     this->actionIndicesToModuleIndexMap[actionIndex].insert(moduleIndex);
                 }