From 1c03b4680a52f0b599fb88e3bdca78e4459ba224 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 19 Apr 2021 11:43:40 +0200
Subject: [PATCH] made member of Scheduler protected

This is possibly going to change again
---
 src/storm/storage/Scheduler.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/storm/storage/Scheduler.h b/src/storm/storage/Scheduler.h
index 53bbc1d2e..43c7bb1cb 100644
--- a/src/storm/storage/Scheduler.h
+++ b/src/storm/storage/Scheduler.h
@@ -121,13 +121,12 @@ namespace storm {
 
              void setPrintUndefinedChoices(bool value = true);
 
-        private:
+        protected:
 
             boost::optional<storm::storage::MemoryStructure> memoryStructure;
             std::vector<std::vector<SchedulerChoice<ValueType>>> schedulerChoices;
 
             bool printUndefinedChoices = false;
-        protected:
             uint_fast64_t numOfUndefinedChoices;
             uint_fast64_t numOfDeterministicChoices;
         };