syntaxTreeCore.ml:

	turns eq_info into a pair (instead of a struct).

src/parser.mly

@@ -966,7 +966,7 @@ sxEquation:   TK_ASSERT sxExpression TK_SEMICOL
 	}
 	|   sxLeft TK_EQ sxExpression TK_SEMICOL
 	{
-		( [] , [ {src = $2; it = {eq_left = $1; eq_right = $3} } ] )
+		( [] , [ {src = $2; it = ($1, $3) } ] )
 	}
 	;
 

src/syntaxTreeCore.ml

-(** Time-stamp: <modified the 07/02/2008 (at 11:27) by Erwan Jahier> *)
+(** Time-stamp: <modified the 07/02/2008 (at 11:31) by Erwan Jahier> *)
 
 
 (** (Raw) Abstract syntax tree of source programs. *)
@@ -84,10 +84,8 @@ and var_nature =
   | VarOutput
   | VarLocal
 
-and eq_info = {
-  eq_left : left_part list ;
-  eq_right: val_exp
-}
+and eq_info = (left_part list * val_exp)
+
 and left_part = 
   | LeftVar of (Ident.t srcflagged)
   | LeftField of (left_part * (Ident.t srcflagged))

src/syntaxTreeDump.ml

-(** Time-stamp: <modified the 07/02/2008 (at 11:25) by Erwan Jahier> *)
+(** Time-stamp: <modified the 07/02/2008 (at 11:31) by Erwan Jahier> *)
 
 
 open Lxm
@@ -350,7 +350,7 @@ and dump_assert_list (os: Format.formatter) (af: (val_exp srcflagged) list) = (
 and dump_eq_list (os: Format.formatter) (eqfs: (eq_info srcflagged) list) = (
   match eqfs with
       [] -> ()
-    | {it={eq_left=lflst; eq_right=exp}; src=lxm} :: reste -> (
+    | {it=(lflst,exp); src=lxm} :: reste -> (
 	  Format.fprintf os "@\n%a = %a;%a"
 	    dump_left_part_list lflst
 	    dump_val_exp exp