From ffedc2268bd905a15dae3b0de579116bd9621b11 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 14 Jan 2017 22:34:00 +0100
Subject: [PATCH] Only label states as deadlocks when the behaviour was
 expanded (jit-builder)

---
 src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
index 2f3b639bd..473522677 100644
--- a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
+++ b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
@@ -2350,7 +2350,7 @@ namespace storm {
                                 }
                                 
                                 void addStateBehaviour(IndexType const& stateId, StateBehaviour<IndexType, ValueType>& behaviour) {
-                                    if (behaviour.empty()) {
+                                    if (behaviour.empty() && behaviour.expanded()) {
                                         deadlockStates.push_back(stateId);
                                     }