From 3c35caeafb2bdf87e0680cf0a0dba256863fc7d0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 27 Jul 2006 09:39:18 +0000
Subject: [PATCH] Bugfix to -simpath option.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@67 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/SimulatorEngine.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 2d716945..3cf0f772 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -1091,7 +1091,7 @@ public class SimulatorEngine
 				for (j = 0; j < varsNum; j++) {
 					if (getPathData(varsIndices[j], i) != getPathData(varsIndices[j], i-1)) changed = true;
 				}
-				if (!changed) continue;
+				if (!changed) { d = (i<n-1) ? getTimeSpentInPathState(i) : 0.0; t += d; continue; }
 			}
 			// write state index
 			log.print(i);