[Javapathfinder-devel] /javapathfinder/src/gov/nasa/jpf/tools StateSpaceDot.java,1.7,1.8

[John P. <joh...@us...>]

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

Modified Files:
	StateSpaceDot.java 
Log Message:
* i swear that compiled before...

Index: StateSpaceDot.java
===================================================================
RCS file: /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/tools/StateSpaceDot.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -d -r1.7 -r1.8
--- StateSpaceDot.java	6 Sep 2005 21:29:46 -0000	1.7
+++ StateSpaceDot.java	8 Sep 2005 18:28:12 -0000	1.8
@@ -515,7 +515,7 @@
     System.out.println("JPF State Space dot Graph Generator");
     listener.filterArgs(args);
 
-    System.out.println("...graph output to " + GRAPH_FILENAME + "...");
+    System.out.println("...graph output to " + listener.out_filename + "...");
 
     if (helpRequested==true) {
     	return;