Revision f4cba4b8 src/compiler_stages.ml
src/compiler_stages.ml | ||
---|---|---|
78 | 78 |
(* Sorting nodes *) |
79 | 79 |
let prog = SortProg.sort prog in |
80 | 80 |
|
81 |
(* Consolidating contracts *) |
|
82 |
let prog = resolve_contracts prog in |
|
83 |
|
|
81 | 84 |
(* Perform inlining before any analysis *) |
82 | 85 |
let orig, prog = |
83 | 86 |
if !Options.global_inline && !Options.main_node <> "" then |
Also available in: Unified diff