From 1f17b31bbe9a9e5eb5d5ca564f496ee30a4ac510 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Fri, 30 Jul 2021 01:02:44 +0200
Subject: [PATCH] arbitrary choice for dontCareStates

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

diff --git a/src/storm/storage/Scheduler.cpp b/src/storm/storage/Scheduler.cpp
index ff745ed09..0c087b269 100644
--- a/src/storm/storage/Scheduler.cpp
+++ b/src/storm/storage/Scheduler.cpp
@@ -102,6 +102,8 @@ namespace storm {
                     --numOfDeterministicChoices;
                 }
 
+                // Set an arbitrary choice
+                schedulerChoices[memoryState][modelState] = SchedulerChoice<ValueType>(0);
             }
         }