aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--judge/main.ml5
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