diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-15 14:40:47 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-15 14:40:47 +0100 |
| commit | d59fafa9b29012f9ed03381bf852e603ee288026 (patch) | |
| tree | 9f0ba8e2c36d374635bc81127b7ec642352e55ae /judge | |
| parent | 28cdfd263c9353010c8868ab2316cddeced20d4a (diff) | |
| download | CompetIA-d59fafa9b29012f9ed03381bf852e603ee288026.tar.gz CompetIA-d59fafa9b29012f9ed03381bf852e603ee288026.zip | |
Fix stupid command line option
Diffstat (limited to 'judge')
| -rw-r--r-- | judge/core.ml | 2 |
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) |