From cd5ee63ccecf05a85a2cf534e701a947a8ab66e6 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 24 May 2017 13:21:46 +0200
Subject: [PATCH] fixed preserving the choice labeling when an ma is closed

---
 src/storm/models/sparse/MarkovAutomaton.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/MarkovAutomaton.cpp b/src/storm/models/sparse/MarkovAutomaton.cpp
index 32fea3edc..7a5d898e6 100644
--- a/src/storm/models/sparse/MarkovAutomaton.cpp
+++ b/src/storm/models/sparse/MarkovAutomaton.cpp
@@ -147,7 +147,7 @@ namespace storm {
                         }
                     }
                     if(this->hasChoiceLabeling()) {
-                        this->getChoiceLabeling().getSubLabeling(keptChoices);
+                        this->getOptionalChoiceLabeling() = this->getChoiceLabeling().getSubLabeling(keptChoices);
                     }
 
                     // Mark the automaton as closed.