aboutsummaryrefslogtreecommitdiff
path: root/judge
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-08 23:10:24 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-08 23:10:24 +0100
commit65af3ed6ef638ea46229bd64c1a10cec3e5a34d8 (patch)
tree0ccddae06091859333e7a76572011405888373e8 /judge
parente720e1dfcddd8eb38fa562cc197b39f14d2fa7a5 (diff)
downloadCompetIA-65af3ed6ef638ea46229bd64c1a10cec3e5a34d8.tar.gz
CompetIA-65af3ed6ef638ea46229bd64c1a10cec3e5a34d8.zip
Correection.
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 e7c44e8..7012118 100644
--- a/judge/core.ml
+++ b/judge/core.ml
@@ -112,7 +112,7 @@ module C (G: GAME) : CORE = struct
] in
Arg.parse args (fun s -> game_dir := s)
- "Usage: juge <game_directory>";
+ "Usage: judge <game_directory>";
if !game_dir = "" then begin
Format.eprintf "Error: no game directory specified.@.";
exit 1