Project

General

Profile

Revision 29ced7be src/lustreSpec.ml

View differences:

src/lustreSpec.ml
144 144

  
145 145
and handler_desc =
146 146
  {hand_state: ident;
147
   hand_unless: (expr * bool * ident) list;
148
   hand_until: (expr * bool * ident) list;
147
   hand_unless: (Location.t * expr * bool * ident) list;
148
   hand_until: (Location.t * expr * bool * ident) list;
149 149
   hand_locals: var_decl list;
150 150
   hand_eqs: eq list;
151
   hand_asserts: assert_t list;
152
   hand_annots: expr_annot list;
151 153
   hand_loc: Location.t}
152 154

  
153 155
type statement =

Also available in: Unified diff