aboutsummaryrefslogtreecommitdiff
path: root/judge/morpion_rec.ml
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-15 22:36:31 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-15 22:36:31 +0100
commit0e83991e3f8739ec00d744f038fdfaea2b60c98e (patch)
tree5f2dab2a4ef5afd77fbc9372f57b7c7b063b4497 /judge/morpion_rec.ml
parent6881ee7acb98c902c312301d7990331e4a1ed854 (diff)
downloadCompetIA-0e83991e3f8739ec00d744f038fdfaea2b60c98e.tar.gz
CompetIA-0e83991e3f8739ec00d744f038fdfaea2b60c98e.zip
Nothing big...
Diffstat (limited to 'judge/morpion_rec.ml')
-rw-r--r--judge/morpion_rec.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/judge/morpion_rec.ml b/judge/morpion_rec.ml
index cb23821..a46b7f9 100644
--- a/judge/morpion_rec.ml
+++ b/judge/morpion_rec.ml
@@ -90,9 +90,11 @@ module G = struct
alors même si l'adversaire aligne trois cases dedans APRES,
le petit morpion reste attribué à la même personne. *)
+ let setp1p (m, r) (px, py) v =
+ setp1 (m, r) (px, py) v (fun x -> x)
(* setp : 'a morpion morpion -> loc2 -> 'a -> 'a morpion morpion *)
let setp m (pg, pp) v =
- let im = setp1 (getp1 m pg) pp v (fun x -> x) in
+ let im = setp1p (getp1 m pg) pp v in
let om = setp1 m pg im reduct in
om