From 440b53936452212a080114b3de05e4cf2357da96 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 6 Dec 2013 12:40:44 +0000
Subject: [PATCH] Bugfix in optimal strategy check for reward properties
 (showing up as bug in policy iteration).

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

diff --git a/prism/src/explicit/MDPSparse.java b/prism/src/explicit/MDPSparse.java
index 450d7479..8ae7b2c1 100644
--- a/prism/src/explicit/MDPSparse.java
+++ b/prism/src/explicit/MDPSparse.java
@@ -1066,7 +1066,7 @@ public class MDPSparse extends MDPExplicit
 		h1 = rowStarts[s + 1];
 		for (j = l1; j < h1; j++) {
 			// Compute sum for this distribution
-			d = mdpRewards.getTransitionReward(s, j);
+			d = mdpRewards.getTransitionReward(s, j - l1);
 			l2 = choiceStarts[j];
 			h2 = choiceStarts[j + 1];
 			for (k = l2; k < h2; k++) {