From d59fafa9b29012f9ed03381bf852e603ee288026 Mon Sep 17 00:00:00 2001 From: Alex Auvolat 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(-) 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