Bug fix in MDPSimple.mvMultJacSingle (from Joachim Klein).

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

prism/src/explicit/MDPSimple.java

@@ -844,7 +844,7 @@ public class MDPSimple extends MDPExplicit implements NondetModelSimple
 		for (Map.Entry<Integer, Double> e : distr) {
 			k = (Integer) e.getKey();
 			prob = (Double) e.getValue();
-			if (i != s) {
+			if (k != s) {
 				d += prob * vect[k];
 			} else {
 				diag -= prob;