Project

General

Profile

Revision 0d54d8a8 src/normalization.ml

View differences:

src/normalization.ml
488 488
let normalize_node decls node =
489 489
  reset_cpt_fresh ();
490 490
  let inputs_outputs = node.node_inputs@node.node_outputs in
491
  let is_local v =
492
    List.for_all ((<>) v) inputs_outputs in
493 491
  let orig_vars = inputs_outputs@node.node_locals in
494 492
  let not_is_orig_var v =
495 493
    List.for_all ((!=) v) orig_vars in
......
595 593
    end;
596 594
  
597 595
 
598
 let new_locals = List.filter is_local vars in (* TODO a quoi ca sert ? *)
599 596
  let node =
600 597
    { node with
601 598
      node_locals = all_locals;

Also available in: Unified diff