Project

General

Profile

Revision 5775ac97 src/automata.ml

View differences:

src/automata.ml
165 165
  let frename = mk_frename used writes in
166 166
  let var_inputs = node_vars_of_idents node inputs in
167 167
  let new_var_locals = node_vars_of_idents node writes in
168
  let var_outputs = node_vars_of_idents node writes in
168
  let var_outputs = List.sort IdentModule.compare (node_vars_of_idents node writes) in
169 169
  let new_var_outputs = List.map (fun vdecl -> { vdecl with var_id = frename vdecl.var_id }) var_outputs in
170 170
  let new_output_eqs = List.map2 (fun o o' -> Eq (mkeq handler.hand_loc ([o'.var_id], mkident handler.hand_loc o.var_id))) var_outputs new_var_outputs in
171 171
  let until_expr = List.fold_right add_branch handler.hand_until (mkidentpair handler.hand_loc aut_state.actual_r.var_id aut_state.actual_s.var_id) in

Also available in: Unified diff