removed debug output

4 years ago · 65ba87dbd0
1 changed files with 0 additions and 1 deletions
--- 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);
                }
            }