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

@@ -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;
 					}
 				}
 			}