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