From d59fafa9b29012f9ed03381bf852e603ee288026 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ens.fr>
Date: Sat, 15 Nov 2014 14:40:47 +0100
Subject: Fix stupid command line option

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

(limited to 'judge')

diff --git a/judge/core.ml b/judge/core.ml
index 136b281..33329ff 100644
--- a/judge/core.ml
+++ b/judge/core.ml
@@ -130,7 +130,7 @@ module Core (G: GAME) : CORE = struct
       "-t", Arg.Set_int pt_tie, "Points granted on tie (+1)";
       "-l", Arg.Set_int pt_lose, "Points granted on lose (0)";
       "-e", Arg.Set_int pt_elim, "Points granted on eliminated (-1)";
-      "-l", Arg.Set log_games, "Log all games (false)";
+      "-v", Arg.Set log_games, "Log all games (false)";
 
     ] in
     Arg.parse args (fun s -> game_dir := s)
-- 
cgit v1.2.3