From 6881ee7acb98c902c312301d7990331e4a1ed854 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ens.fr>
Date: Sat, 15 Nov 2014 14:56:37 +0100
Subject: More precise usage line... (useless commit)

---
 judge/core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3