aboutsummaryrefslogtreecommitdiff
path: root/judge
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-15 14:56:37 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-15 14:56:37 +0100
commit6881ee7acb98c902c312301d7990331e4a1ed854 (patch)
tree068a6701072698c1fd85a3770c9fa66d213fc703 /judge
parentd59fafa9b29012f9ed03381bf852e603ee288026 (diff)
downloadCompetIA-6881ee7acb98c902c312301d7990331e4a1ed854.tar.gz
CompetIA-6881ee7acb98c902c312301d7990331e4a1ed854.zip
More precise usage line... (useless commit)
Diffstat (limited to 'judge')
-rw-r--r--judge/core.ml2
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