fix output of prob choice labels in scheduler

src/storm/storage/PostScheduler.cpp

@@ -144,7 +144,7 @@ namespace storm {
                                     stateString << choiceProbPair.first;
                                 }
                                 if (choiceLabelsGiven) {
-                                    auto choiceLabels = model->getChoiceLabeling().getLabelsOfChoice(model->getTransitionMatrix().getRowGroupIndices()[state] + choice.getDeterministicChoice());
+                                    auto choiceLabels = model->getChoiceLabeling().getLabelsOfChoice(model->getTransitionMatrix().getRowGroupIndices()[state] + choiceProbPair.first);
                                     stateString << " {" << boost::join(choiceLabels, ", ") << "}";
                                 }
                                 stateString << ")";

src/storm/storage/Scheduler.cpp

@@ -204,7 +204,7 @@ namespace storm {
                                     stateString << choiceProbPair.first;
                                 }
                                 if (choiceLabelsGiven) {
-                                    auto choiceLabels = model->getChoiceLabeling().getLabelsOfChoice(model->getTransitionMatrix().getRowGroupIndices()[state] + choice.getDeterministicChoice());
+                                    auto choiceLabels = model->getChoiceLabeling().getLabelsOfChoice(model->getTransitionMatrix().getRowGroupIndices()[state] + choiceProbPair.first);
                                     stateString << " {" << boost::join(choiceLabels, ", ") << "}";
                                 }
                                 stateString << ")";