Modified parse error message.

--- a/lib/browser/GraphBrowser/GraphBrowser.java	Thu Aug 07 23:45:24 1997 +0200
+++ b/lib/browser/GraphBrowser/GraphBrowser.java	Thu Aug 07 23:46:36 1997 +0200
@@ -152,7 +152,7 @@
 		} catch (ParseError exn) {
 			System.out.println("\nParse error in graph file:");
 			System.out.println(exn.getMessage());
-			System.out.println("\nSyntax:\n<vertexname> <dirname> [ + ] <path> [ < | > ] [ <vertexname> [ ... [ <vertexname> ] ... ] ] ;");
+			System.out.println("\nSyntax:\n<vertexname> <vertexID> <dirname> [ + ] <path> [ < | > ] [ <vertexID> [ ... [ <vertexID> ] ... ] ] ;");
 		}
 	}