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 extends Pro result.append("" + i + "[shape=box, color=black" - + " label= < " + + " label= <
" + "" + "" + ""
" + i + "=" + fromState + "