Fix indentation

1 files 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 *)