From 1076e70f9fd7994fe780e80301c19397e278c055 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 8 Sep 2011 15:07:55 +0000
Subject: [PATCH] Bug fix in explicit-state MDP adversary generation
 (MDPSparse).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3627 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 c1559382..b0ba62a0 100644
--- a/prism/src/explicit/MDPSparse.java
+++ b/prism/src/explicit/MDPSparse.java
@@ -782,7 +782,7 @@ public class MDPSparse extends ModelExplicit implements MDP
 					// Only remember strictly better choices
 					// (required if either player is doing max)
 					if (adv[s] == -1 || (min && minmax < vect[s]) || (!min && minmax > vect[s])) {
-						adv[s] = j;
+						adv[s] = j - l1;
 					}
 				}
 			}