aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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