Project

General

Profile

Revision 264a4844 src/corelang.ml

View differences:

src/corelang.ml
178 178
  List.iter (fun (key, _) -> 
179 179
    Annotations.add_expr_ann node_id e.expr_tag key
180 180
  ) annot.annots;
181
  { e with expr_annot = merge_expr_annot e.expr_annot (Some annot) }
181
  e.expr_annot <- merge_expr_annot e.expr_annot (Some annot);
182
  e
182 183

  
183 184

  
184 185
let mkinstr ?lustre_expr ?lustre_eq i =

Also available in: Unified diff