diff --git a/src/TODO b/src/TODO
index 84b14cba049d1340decd4c763f95028c3154ce63..780b4b08724eac51f9f077e00096d226ef091e34 100644
--- a/src/TODO
+++ b/src/TODO
@@ -139,9 +139,12 @@ n'est pas le cas pour l'instant...
 ***********************************************************************************
 *** a faire
 
+
 *** facile
 ----------
 
+* Renommer CompiledData en Eff comme dans lic2loc
+
 * ../lus2lic should_work/NONREG/Int.lus 
 
   "zero" versus "Int::zero". Ce probleme est une consequence d'un 
diff --git a/src/evalClock.ml b/src/evalClock.ml
index ce103743f028dffe8d97389ceee7166c8267affe..11ab8a83f00dff945e1adbb2f51af06fff12795c 100644
--- a/src/evalClock.ml
+++ b/src/evalClock.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 01/07/2008 (at 14:15) by Erwan Jahier> *)
+(** Time-stamp: <modified the 03/07/2008 (at 09:52) by Erwan Jahier> *)
  
   
 open Predef
@@ -326,7 +326,7 @@ and (eval_by_pos_clock : id_solver -> by_pos_op_eff -> Lxm.t -> val_exp_eff list
 	  in
 	    clk_list, s
 	)
-      | WITH_eff(ve) -> f id_solver s ve 
+      | WITH_eff(ve) -> f_aux id_solver s ve