From bb439d076b7db18de4dc516c08be52d276b17e9d Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 18 Oct 2019 15:03:04 +0200
Subject: [PATCH] DetScheds: Fixed wrong computation of the number of
 schedulers.

---
 .../deterministicScheds/DeterministicSchedsParetoExplorer.cpp   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp
index abe511dc1..11f62e1f2 100644
--- a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp
+++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsParetoExplorer.cpp
@@ -306,7 +306,7 @@ namespace storm {
                         STORM_PRINT_AND_LOG("#STATS " << m->getNumberOfTransitions() << " transitions in " << modelname << std::endl);
                         storm::RationalNumber numScheds = storm::utility::one<storm::RationalNumber>();
                         for (uint64_t state = 0; state < m->getNumberOfStates(); ++state) {
-                            storm::RationalNumber numChoices = storm::utility::convertNumber<storm::RationalNumber, uint64_t>(m->getNumberOfChoices());
+                            storm::RationalNumber numChoices = storm::utility::convertNumber<storm::RationalNumber, uint64_t>(m->getNumberOfChoices(state));
                             numScheds *= storm::utility::max(storm::utility::one<storm::RationalNumber>(), numChoices);
                         }
                         auto numSchedsStr = storm::utility::to_string(numScheds);