From 00d2f89b6bde1bd9f86b08d42238ada78b386afd Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Fri, 4 Jul 2008 15:04:20 +0200
Subject: [PATCH] Fix a bug in the handling of with during clock checking.

---
 src/TODO         | 3 +++
 src/evalClock.ml | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/TODO b/src/TODO
index 84b14cba..780b4b08 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 ce103743..11ab8a83 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 
 	    
 	
 
-- 
GitLab