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 38de615..15d336f 100644 --- a/judge/main.ml +++ b/judge/main.ml @@ -123,7 +123,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 = @@ -163,7 +163,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 () = @@ -208,7 +208,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 |