accumulation: fix product dot output

9 years ago · ea87b6ec79
1 changed files with 1 additions and 1 deletions
--- 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>"