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