#7 StateSpacedot, unnessesary compare

[ing. Rolf Huisman]

Index: gov/nasa/jpf/tools/StateSpaceDot.java

--- gov/nasa/jpf/tools/StateSpaceDot.java (revision 210)
+++ gov/nasa/jpf/tools/StateSpaceDot.java (working copy)
@@ -513,7 +513,7 @@

System.out.println("...graph output to " + listener.out_filename + "...");

- if (helpRequested==true) {
+ if (helpRequested) {
return;
}