From 77a90184e7ffd3d980d6b8217e4119484ab6974a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 24 May 2017 13:22:55 +0200
Subject: [PATCH] building choice labeling when the corresponding option is
 given

---
 src/storm/utility/storm.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm/utility/storm.h b/src/storm/utility/storm.h
index b07c1f439..57a50bf92 100644
--- a/src/storm/utility/storm.h
+++ b/src/storm/utility/storm.h
@@ -138,6 +138,10 @@ namespace storm {
     storm::builder::ExplicitModelBuilderResult<ValueType> buildSparseModel(storm::storage::SymbolicModelDescription const& model, std::vector<std::shared_ptr<storm::logic::Formula const>> const& formulas) {
         storm::builder::BuilderOptions options(formulas);
         
+        if (storm::settings::getModule<storm::settings::modules::IOSettings>().isBuildChoiceLabelsSet()) {
+            options.setBuildChoiceLabels(true);
+        }
+        
         if (storm::settings::getModule<storm::settings::modules::IOSettings>().isBuildFullModelSet()) {
             options.setBuildAllLabels();
             options.setBuildAllRewardModels();