From 9fb9d0ae262ed3a3938412a961de4ac995fe2fc4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 10 Jul 2016 19:41:56 +0000
Subject: [PATCH] Bug fix in StateListMTBDD.getIndexOfState.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11484 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/StateListMTBDD.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/StateListMTBDD.java b/prism/src/prism/StateListMTBDD.java
index 57700087..33c43c2e 100644
--- a/prism/src/prism/StateListMTBDD.java
+++ b/prism/src/prism/StateListMTBDD.java
@@ -409,8 +409,8 @@ public class StateListMTBDD implements StateList
 				if ((valInt & (1 << (n2-1-j))) == 0) {
 					o = o.getElse();
 				} else {
-					o.getThen();	
 					index += o.getEOff();
+					o = o.getThen();	
 				}
 				
 			}