From fb0d589d4370c54106632ee6593dfb643ec5c8d5 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 14 Jan 2017 22:40:10 +0100
Subject: [PATCH] fix typo

---
 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 473522677..3c6789324 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() && behaviour.expanded()) {
+                                    if (behaviour.empty() && behaviour.isExpanded()) {
                                         deadlockStates.push_back(stateId);
                                     }