diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-15 14:56:37 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-15 14:56:37 +0100 |
| commit | 6881ee7acb98c902c312301d7990331e4a1ed854 (patch) | |
| tree | 068a6701072698c1fd85a3770c9fa66d213fc703 /judge/core.ml | |
| parent | d59fafa9b29012f9ed03381bf852e603ee288026 (diff) | |
| download | CompetIA-6881ee7acb98c902c312301d7990331e4a1ed854.tar.gz CompetIA-6881ee7acb98c902c312301d7990331e4a1ed854.zip | |
More precise usage line... (useless commit)
Diffstat (limited to 'judge/core.ml')
| -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 |