From 28cdfd263c9353010c8868ab2316cddeced20d4a Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 13 Nov 2014 18:24:36 +0100 Subject: Fix indentation --- judge/core.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/judge/core.ml b/judge/core.ml index 8716c86..136b281 100644 --- a/judge/core.ml +++ b/judge/core.ml @@ -266,7 +266,7 @@ module Core (G: GAME) : CORE = struct let g = G.new_game in let g = { p1; p2; hist = [g]; s = G.s g } in r_games := g::(!r_games); - usefull := true + usefull := true in let can_launch, cannot_launch = List.partition (fun (p1, p2) -> @@ -366,7 +366,7 @@ module Core (G: GAME) : CORE = struct p.s <- Thinking (t, Unix.gettimeofday()); | _ -> () end; - usefull := true + usefull := true in List.iter do_fd in_fd; (* Check if somebody has timed out *) let check_timeout g = @@ -381,7 +381,7 @@ module Core (G: GAME) : CORE = struct l.p.score <- l.p.score + !pt_lose; w.s <- Saving; if l.s <> Dead then l.s <- Saving; - usefull := true + usefull := true end | _ -> () in List.iter check_timeout !r_games; @@ -409,7 +409,7 @@ module Core (G: GAME) : CORE = struct p.s <- Dead; p.p.running <- None; List.iter close p.cfd; - usefull := true + usefull := true end with _ -> () end; (* return value *) -- cgit v1.2.3