diff --git a/prism/src/simulator/PathFull.java b/prism/src/simulator/PathFull.java index 7e59b2c9..abcd071d 100644 --- a/prism/src/simulator/PathFull.java +++ b/prism/src/simulator/PathFull.java @@ -530,7 +530,7 @@ public class PathFull extends Path implements PathFullInfo { int i; String s = ""; - for (i = 0; i < size; i++) { + for (i = 0; i <= size; i++) { s += getState(i) + "\n"; } return s;