Project

General

Profile

Revision f4cba4b8 src/compiler_stages.ml

View differences:

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