From d53fafa07875ec8f4017b7327548641a207ff9e8 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 3 Sep 2021 14:51:20 +0200
Subject: [PATCH] fixed some changes which have been overwritten

---
 src/storm/storage/Scheduler.cpp | 4 ++--
 src/storm/storage/Scheduler.h   | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/storm/storage/Scheduler.cpp b/src/storm/storage/Scheduler.cpp
index 6405528a0..a7acff700 100644
--- a/src/storm/storage/Scheduler.cpp
+++ b/src/storm/storage/Scheduler.cpp
@@ -323,9 +323,9 @@ namespace storm {
                 }
             }
             if (numOfSkippedStatesWithUniqueChoice > 0) {
-                stateString << "Skipped " << numOfSkippedStatesWithUniqueChoice << " deterministic states with unique choice." << std::endl;
+                out << "Skipped " << numOfSkippedStatesWithUniqueChoice << " deterministic states with unique choice." << std::endl;
             }
-            stateString << "___________________________________________________________________" << std::endl;
+            out << "___________________________________________________________________" << std::endl;
 
         }
 
diff --git a/src/storm/storage/Scheduler.h b/src/storm/storage/Scheduler.h
index 96819be58..5e8aa3e5e 100644
--- a/src/storm/storage/Scheduler.h
+++ b/src/storm/storage/Scheduler.h
@@ -143,8 +143,9 @@ namespace storm {
              * Prints the scheduler in json format to the given output stream.
              */
             void printJsonToStream(std::ostream& out, std::shared_ptr<storm::models::sparse::Model<ValueType>> model = nullptr, bool skipUniqueChoices = false,  bool skipDontCareStates = false) const;
+            void setPrintUndefinedChoices(bool value);
 
-        private:
+        protected:
             boost::optional<storm::storage::MemoryStructure> memoryStructure;
             std::vector<std::vector<SchedulerChoice<ValueType>>> schedulerChoices;