From 5295b1a180723702565d06b59a09152bcc3a51c7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 3 Dec 2014 18:37:34 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/MDPSimple.java b/prism/src/explicit/MDPSimple.java
index 333ed0e2..41ce34bf 100644
--- a/prism/src/explicit/MDPSimple.java
+++ b/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;