Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java	(revision 178)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java	(revision 179)
@@ -66,5 +66,5 @@
 	@Override
 	public void help() {
-		Console.println("Usage: listStates <modelName>");
+		Console.println("Usage: listStates <modelName> {<sort>}");
 	}