diff options
Diffstat (limited to 'judge/main.ml')
| -rw-r--r-- | judge/main.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/judge/main.ml b/judge/main.ml index 8c74be6..18cba43 100644 --- a/judge/main.ml +++ b/judge/main.ml @@ -110,8 +110,11 @@ end = struct (fun (_, sc) (_, sc') -> sc' - sc) (C.scores()) in + let p_sc = ref (-199028109) in let show_sc i (n, s) = - text2 (i+4) black (string_of_int (i+1)^". "); + if s <> !p_sc then + text2 (i+4) black (string_of_int (i+1)^". "); + p_sc := s; text3 (i+4) black n; text4 (i+4) black (string_of_int s) in |