From 991cf35f2fd197c3624096d123c04747e9bbd473 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Mon, 5 Jul 2021 13:05:50 +0200
Subject: [PATCH] print memoryStructure

---
 src/storm/storage/Scheduler.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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 <>