[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf Path.java,1.1.1.1,1.2

[pcm <pcm...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31198/src/gov/nasa/jpf

Modified Files:
	Path.java 
Log Message:
the path was not updated on UncaughtException exit, causing the last Transition not to appear in the error report. 

We probably should print out something even if the sourcepath is not set, so Step.printStepOn() still needs some work

Index: Path.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/Path.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- Path.java	26 Apr 2005 19:43:55 -0000	1.1.1.1
+++ Path.java	9 Jun 2005 16:29:23 -0000	1.2
@@ -112,7 +112,7 @@
     for (int index = 0; index < length; index++) {
       pw.print("Step #");
       pw.print(index);
-
+      
       if ((entry = list.get(index)) != null) {
         pw.print(' ');