Project

General

Profile

Revision c203d676 src/backends/Ada/ada_backend_wrapper.ml

View differences:

src/backends/Ada/ada_backend_wrapper.ml
69 69
    pp_with_node machine.mname
70 70
    (pp_main_procedure_definition machine) (locals, instrs)
71 71

  
72

  
73 72
(** Print the gpr project file.
74 73
   @param fmt the formater to print on
75 74
   @param machine the main machine

Also available in: Unified diff