From ea87b6ec798dde9e16d253a3459349fc6015daf4 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Thu, 10 Nov 2016 12:42:16 +0100
Subject: [PATCH] accumulation: fix product dot output

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

diff --git a/prism/src/explicit/AccumulationProduct.java b/prism/src/explicit/AccumulationProduct.java
index 6c34d93c..6797291e 100644
--- a/prism/src/explicit/AccumulationProduct.java
+++ b/prism/src/explicit/AccumulationProduct.java
@@ -78,7 +78,7 @@ public abstract class AccumulationProduct<M extends Model,Component> extends Pro
 			result.append(""
 					+ i
 					+ "[shape=box, color=black"
-					+ " label= < <TABLE BO8RDER=\"0\">"
+					+ " label= < <TABLE BORDER=\"0\">"
 					+ "<TR>"
 					+ "<TD>" + i + "=" + fromState + "</TD>"
 					+ "</TR><TR>"