aboutsummaryrefslogtreecommitdiff
path: root/judge
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-15 14:40:47 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-15 14:40:47 +0100
commitd59fafa9b29012f9ed03381bf852e603ee288026 (patch)
tree9f0ba8e2c36d374635bc81127b7ec642352e55ae /judge
parent28cdfd263c9353010c8868ab2316cddeced20d4a (diff)
downloadCompetIA-d59fafa9b29012f9ed03381bf852e603ee288026.tar.gz
CompetIA-d59fafa9b29012f9ed03381bf852e603ee288026.zip
Fix stupid command line option
Diffstat (limited to 'judge')
-rw-r--r--judge/core.ml2
1 files changed, 1 insertions, 1 deletions
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)