From 09263a4db3159a5373661edd77ac82bdd65f5f1e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 18 Oct 2019 09:25:36 +0100
Subject: [PATCH] Bug fix in recently added explicit.StateValues.dotProduct
 method.

---
 prism/src/explicit/StateValues.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index 31f010cf..4e2ef52a 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1275,7 +1275,7 @@ public class StateValues implements StateVector
 		if (type instanceof TypeDouble) {
 			double dotProduct = 0;
 			for (int i = 0; i < size; i++) {
-				dotProduct += valuesD[i] * sv.valuesI[i];
+				dotProduct += valuesD[i] * sv.valuesD[i];
 			}
 			return dotProduct;
 		} else {