aboutsummaryrefslogtreecommitdiff
path: root/judge
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-13 18:24:36 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-13 18:24:36 +0100
commit28cdfd263c9353010c8868ab2316cddeced20d4a (patch)
tree91258f04e16ddfe4e042e1036f5c6f440be4d3f0 /judge
parent69b66557a8bfef7cc4d96fde120d0360f5a94d8b (diff)
downloadCompetIA-28cdfd263c9353010c8868ab2316cddeced20d4a.tar.gz
CompetIA-28cdfd263c9353010c8868ab2316cddeced20d4a.zip
Fix indentation
Diffstat (limited to 'judge')
-rw-r--r--judge/core.ml8
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 *)