diff options
Diffstat (limited to 'judge')
| -rw-r--r-- | judge/core.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/judge/core.ml b/judge/core.ml index 33329ff..e08ce17 100644 --- a/judge/core.ml +++ b/judge/core.ml @@ -134,7 +134,7 @@ module Core (G: GAME) : CORE = struct ] in Arg.parse args (fun s -> game_dir := s) - "Usage: judge <game_directory>"; + "Usage: judge [<option> ...] <game_directory>"; if !game_dir = "" then begin Format.eprintf "Error: no game directory specified.@."; exit 1 |