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 18cba43..85c09b6 100644 --- a/judge/main.ml +++ b/judge/main.ml @@ -118,7 +118,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 = @@ -158,7 +158,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 () = @@ -203,7 +203,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 |