# HG changeset patch
# User berghofe
# Date 870990396 -7200
# Node ID f52a8342e9443e333489c8621847337982140cde
# Parent  7554be69fd09bd2fcbea1282fdbd08698659b7c6
Modified parse error message.

diff -r 7554be69fd09 -r f52a8342e944 lib/browser/GraphBrowser/GraphBrowser.java
--- 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> ] ... ] ] ;");
 		}
 	}