Project

General

Profile

Revision 70e1006b src/optimize_prog.ml

View differences:

src/optimize_prog.ml
49 49
  { node with node_eqs = List.map (eq_unfold_consts consts) node.node_eqs }
50 50

  
51 51
let prog_unfold_consts prog =
52
  let consts = get_consts prog in
52
  let consts = List.map const_of_top (get_consts prog) in
53 53
    List.map (
54 54
      fun decl -> match decl.top_decl_desc with 
55 55
	| Node nd -> {decl with top_decl_desc = Node (node_unfold_consts consts nd)}

Also available in: Unified diff