From 5e1dad630bbf5c06948e0c3c865781f0da7d9d1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Wed, 20 Jun 2012 17:09:30 +0200
Subject: [PATCH] Force fby to be scheduled at the end

---
 compiler/minils/transformations/schedule_interf.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/minils/transformations/schedule_interf.ml b/compiler/minils/transformations/schedule_interf.ml
index f95c256..cdeee3d 100644
--- a/compiler/minils/transformations/schedule_interf.ml
+++ b/compiler/minils/transformations/schedule_interf.ml
@@ -87,6 +87,7 @@ struct
   let next_equation rem_eqs ck env =
     let bonus eq = match eq.eq_rhs.e_desc with
       | Eapp ({a_op = (Eupdate | Efield_update) },_,_) -> 1
+      | Efby _ -> 20
       | _ -> 0
     in
     let cost eq =