Project

General

Profile

Revision 59020713 src/lustre_types.ml

View differences:

src/lustre_types.ml
118 118
     eexpr_quantifiers: (quantifier_type * var_decl list) list;
119 119
     mutable eexpr_type: Types.type_expr;
120 120
     mutable eexpr_clock: Clocks.clock_expr;
121
     mutable eexpr_normalized: (var_decl * eq list * var_decl list) option;
121
     (* mutable eexpr_normalized: (var_decl * eq list * var_decl list) option; *)
122 122
     eexpr_loc: Location.t}
123 123

  
124 124
and expr_annot =

Also available in: Unified diff