From 65ba87dbd0a8a0b05dfc6f951f0dbfeb202dd1d6 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Fri, 23 Apr 2021 17:13:41 -0700
Subject: [PATCH] removed debug output

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

diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp
index 8cfb8d991..019b0419c 100644
--- a/src/storm/storage/prism/Program.cpp
+++ b/src/storm/storage/prism/Program.cpp
@@ -167,7 +167,6 @@ namespace storm {
             std::set<uint64_t> possiblySynchronizingActionIndices;
             for(uint64_t syncAction : synchronizingActionIndices) {
                 if (getModuleIndicesByActionIndex(syncAction).size() > 1) {
-                    std::cout << "syncAction " << syncAction << std::endl;
                     possiblySynchronizingActionIndices.insert(syncAction);
                 }
             }