diff options
Diffstat (limited to 'judge/main.ml')
| -rw-r--r-- | judge/main.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/judge/main.ml b/judge/main.ml index 8c74be6..3e14ff2 100644 --- a/judge/main.ml +++ b/judge/main.ml @@ -115,7 +115,7 @@ end = struct text3 (i+4) black n; text4 (i+4) black (string_of_int s) in - List.iteri show_sc scores + iteri show_sc scores (* Match list view *) and matchlist_disp show_only_running = @@ -155,7 +155,7 @@ end = struct text3 (i+4) cp2 p2n; let c, m = mp (C.p2 g) in text4 (i+4) c m in - List.iteri print_g games + iteri print_g games (* Game view *) and last_game_disp () = @@ -200,7 +200,7 @@ end = struct G.display_game g (p1n, p2n) end in - List.iteri put_st (List.rev (C.hist g)) + iteri put_st (List.rev (C.hist g)) end |