Project

General

Profile

Revision f4cba4b8 src/automata.ml

View differences:

src/automata.ml
162 162
    node_dec_stateless = false;
163 163
    node_stateless = None;
164 164
    node_spec = None;
165
    node_annot = []
165
    node_annot = [];
166
    node_iscontract = false;
166 167
  },
167 168
  mkexpr handler.hand_loc (Expr_appl (node_id, mkexpr handler.hand_loc (Expr_tuple args), reset))
168 169

  
......
213 214
    node_dec_stateless = false;
214 215
    node_stateless = None;
215 216
    node_spec = None;
216
    node_annot = handler.hand_annots
217
    node_annot = handler.hand_annots;
218
    node_iscontract = false;
217 219
  },
218 220
  mkexpr handler.hand_loc (Expr_appl (node_id, mkexpr handler.hand_loc (Expr_tuple args), reset))
219 221

  

Also available in: Unified diff