diff --git a/src/storm/storage/Scheduler.cpp b/src/storm/storage/Scheduler.cpp index 1c3d6c895..27d5d6d37 100644 --- a/src/storm/storage/Scheduler.cpp +++ b/src/storm/storage/Scheduler.cpp @@ -226,8 +226,10 @@ namespace storm { out << "___________________________________________________________________" << std::endl; // TODO only for tests: - out << memoryStructure->toString(); - out << std::endl; + if(!isMemorylessScheduler()) { + out << memoryStructure->toString(); + out << std::endl; + } } template <>