From 5816bd8860d80777513957bbe1ae408e64169150 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 29 Apr 2014 16:37:53 +0200
Subject: [PATCH] Bugfix for explicit model adapter: empty choice labeling was
 not created for automatically added self-loops.

Former-commit-id: 6c63c28f596905583d0695a7dcdad8bbdd57d7bd
---
 src/adapters/ExplicitModelAdapter.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h
index 777807c06..e120f4a59 100644
--- a/src/adapters/ExplicitModelAdapter.h
+++ b/src/adapters/ExplicitModelAdapter.h
@@ -559,6 +559,8 @@ namespace storm {
                     // requested and issue an error otherwise.
                     if (totalNumberOfChoices == 0) {
                         if (storm::settings::Settings::getInstance()->isSet("fixDeadlocks")) {
+                            // Insert empty choice labeling for added self-loop transitions.
+                            choiceLabels.push_back(boost::container::flat_set<uint_fast64_t>());
                             transitionMatrixBuilder.addNextValue(currentRow, currentState, storm::utility::constantOne<ValueType>());
                             ++currentRow;
                         } else {