Project

General

Profile

Revision 1b683c9a src/corelang.ml

View differences:

src/corelang.ml
181 181
  { e with expr_annot = merge_expr_annot e.expr_annot (Some annot) }
182 182

  
183 183

  
184
let mkinstr ?(lustre_expr=None) ?(lustre_eq=None) i =
184
let mkinstr ?lustre_expr ?lustre_eq i =
185 185
  {
186 186
    instr_desc = i;
187 187
    (* lustre_expr = lustre_expr; *)

Also available in: Unified diff