AcceptanceReach: Fix off-by-one bug in complementation to AcceptanceRabin

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11111 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/acceptance/AcceptanceReach.java

@@ -93,7 +93,7 @@ public class AcceptanceReach implements AcceptanceOmega
 	{
 		AcceptanceRabin rabin = new AcceptanceRabin();
 		BitSet allStates = new BitSet();
-		allStates.set(0, numStates-1);
+		allStates.set(0, numStates);
 		rabin.add(new AcceptanceRabin.RabinPair((BitSet) goalStates.clone(), allStates));
 		return rabin;
 	}