From b04a853319a9425f31456a578fb83f0878808e5d Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Mon, 29 Oct 2018 12:33:41 +0100
Subject: [PATCH] Check on number of set bits instead of vector size

---
 src/storm-pars/analysis/LatticeExtender.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pars/analysis/LatticeExtender.cpp b/src/storm-pars/analysis/LatticeExtender.cpp
index d378f7e0a..dc80e3106 100644
--- a/src/storm-pars/analysis/LatticeExtender.cpp
+++ b/src/storm-pars/analysis/LatticeExtender.cpp
@@ -258,7 +258,7 @@ namespace storm {
                     auto succ1 = successors.getNextSetIndex(0);
                     auto succ2 = successors.getNextSetIndex(succ1 + 1);
 
-                    if (seenStates[stateNumber] && successors.size() == 2
+                    if (seenStates[stateNumber] && successors.getNumberOfSetBits() == 2
                             && (seenStates[succ1] || seenStates[succ2])
                             && (!seenStates[succ1] || !seenStates[succ2])) {