Revision c203d676 src/backends/Ada/ada_backend_wrapper.ml
| 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