From 21e374086781c857b95577ac5d90a2e218b64447 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 11 May 2013 13:53:52 +0200
Subject: [PATCH] Fixed bug in computation of number of choices in case of
 deadlocks.

---
 src/adapters/ExplicitModelAdapter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp
index ad69887a0..aabc0e963 100644
--- a/src/adapters/ExplicitModelAdapter.cpp
+++ b/src/adapters/ExplicitModelAdapter.cpp
@@ -520,6 +520,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() {
 				// This is a deadlock state.
 				if (storm::settings::instance()->isSet("fix-deadlocks")) {
 					this->numberOfTransitions++;
+					this->numberOfChoices++;
 					this->transitionMap[curIndex].emplace_back();
 					this->transitionMap[curIndex].back().second[curIndex] = 1;
 				} else {