Project

General

Profile

Revision 25320f03 src/tools/seal/seal_slice.ml

View differences:

src/tools/seal/seal_slice.ml
130 130
  (* Split tuples while sorting eqs *)
131 131
  let eqs, auts = Corelang.get_node_eqs nd in
132 132
  assert (auts = []); (* Automata should be expanded by now *)
133
  let sorted_eqs = Scheduling.sort_equations_from_schedule
133
  let sorted_eqs, unused = Scheduling.sort_equations_from_schedule
134 134
                     eqs
135
                     msch.Scheduling_type.schedule in
136

  
135
                     msch.Scheduling_type.schedule 
136
  in
137
  let locals = List.filter (fun v -> not (List.mem v.var_id unused)) locals in
137 138
  report ~level:3 (fun fmt -> Format.fprintf fmt "Scheduled node@.");
138 139

  
139 140
  let stmts =

Also available in: Unified diff