Project

General

Profile

Revision b08ffca7 src/machine_code.ml

View differences:

src/machine_code.ml
156 156
    node_gencalls = [];
157 157
    node_checks = [];
158 158
    node_asserts = [];
159
    node_eqs= [];
159
    node_stmts= [];
160 160
    node_dec_stateless = false;
161 161
    node_stateless = Some false;
162 162
    node_spec = None;
......
428 428
(*  Format.eprintf "%s schedule: %a@."
429 429
		 nd.node_id
430 430
		 (Utils.fprintf_list ~sep:" ; " Scheduling.pp_eq_schedule) sch;*)
431
  let split_eqs = Splitting.tuple_split_eq_list nd.node_eqs in
431
  let split_eqs = Splitting.tuple_split_eq_list (get_node_eqs nd) in
432 432
  let eqs_rev, remainder =
433 433
    List.fold_left 
434 434
      (fun (accu, node_eqs_remainder) vl -> 
......
446 446
    if List.length remainder > 0 then (
447 447
      Format.eprintf "Equations not used are@.%a@.Full equation set is:@.%a@.@?"
448 448
		     Printers.pp_node_eqs remainder
449
      		     Printers.pp_node_eqs nd.node_eqs;
449
      		     Printers.pp_node_eqs (get_node_eqs nd);
450 450
      assert false);
451 451
    List.rev eqs_rev
452 452
  end

Also available in: Unified diff