From 7c687d5195ce2257826c1774af53cb556518edba Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Dec 2014 12:22:52 +0000
Subject: [PATCH] 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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/explicit/MDPSparse.java b/prism/src/explicit/MDPSparse.java
index 9c74b3a7..0dd86b54 100644
--- a/prism/src/explicit/MDPSparse.java
+++ b/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]);