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 possiblySynchronizingActionIndices; for(uint64_t syncAction : synchronizingActionIndices) { if (getModuleIndicesByActionIndex(syncAction).size() > 1) { - std::cout << "syncAction " << syncAction << std::endl; possiblySynchronizingActionIndices.insert(syncAction); } }