aboutsummaryrefslogtreecommitdiff
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
parente720e1dfcddd8eb38fa562cc197b39f14d2fa7a5 (diff)
downloadCompetIA-65af3ed6ef638ea46229bd64c1a10cec3e5a34d8.tar.gz
CompetIA-65af3ed6ef638ea46229bd64c1a10cec3e5a34d8.zip
Correection.
-rw-r--r--README.md2
-rw-r--r--judge/core.ml2
2 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index ebff8f5..781bcec 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@ standard et jouent leur coups sur la sortie standard.
Organisation des fichiers
-------------------------
-juge/
+judge/
*.ml le code du juge
protocol.ml encodeur et décodeur pour le protocole décrit plus bas
core.ml la partie principale
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