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

@@ -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);