Simulator bugfix: exported path was one short.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2189 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/simulator/PathFull.java

@@ -436,7 +436,7 @@ public class PathFull extends Path
 
 		// Write path
 		t = 0.0;
-		for (i = 0; i < n; i++) {
+		for (i = 0; i <= n; i++) {
 			// (if required) see if relevant vars have changed
 			if (vars != null && i > 0) {
 				changed = false;