Bugfix in MDPSparse (from Joachim Klein).

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

prism/src/explicit/MDPSparse.java

@@ -538,8 +538,8 @@ public class MDPSparse extends MDPExplicit
 	@Override
 	public Iterator<Integer> getSuccessorsIterator(final int s, final int i)
 	{
-		int start = choiceStarts[rowStarts[s]];
-		int end = choiceStarts[rowStarts[s + 1]];
+		int start = choiceStarts[rowStarts[s] + i];
+		int end = choiceStarts[rowStarts[s] + i + 1];
 		List<Integer> succs = new ArrayList<Integer>();
 		for (int j = start; j < end; j++) {
 			succs.add(cols[j]);