Project

General

Profile

Revision 70e1006b src/inliner.ml

View differences:

src/inliner.ml
279 279
    node_annot = [];
280 280
  }
281 281
  in
282
  let main = [{ top_decl_desc = Node main_node; top_decl_loc = loc }] in
282
  let main = [{ top_decl_desc = Node main_node; top_decl_loc = loc; top_decl_owner = filename; top_decl_itf = false }] in
283 283
  let new_prog = others@nodes_origs@nodes_inlined@main in
284 284
  let _ = Typing.type_prog type_env new_prog in
285 285
  let _ = Clock_calculus.clock_prog clock_env new_prog in

Also available in: Unified diff