From 29c462722c7b9788a2ed0cd7e5068411466865ed Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Oct 2010 20:07:05 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/simulator/PathFull.java b/prism/src/simulator/PathFull.java
index 43c832e4..d6ae9c61 100644
--- a/prism/src/simulator/PathFull.java
+++ b/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;