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

@@ -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();	
 				}
 				
 			}