Revision 721ce555
Added by Guillaume DAVY over 5 years ago
src/backends/Ada/ada_backend_wrapper.ml | ||
---|---|---|
69 | 69 |
pp_with_machine machine |
70 | 70 |
(pp_main_procedure_definition machine) (locals, instrs) |
71 | 71 |
|
72 |
|
|
73 |
(** Print the arrow ads file. |
|
74 |
@param fmt the formater to print on |
|
75 |
**) |
|
76 |
let pp_arrow_ads fmt = |
|
77 |
fprintf fmt "COUCOU" |
|
78 |
|
|
79 |
(** Print the arrow adb file. |
|
80 |
@param fmt the formater to print on |
|
81 |
**) |
|
82 |
let pp_arrow_adb fmt = |
|
83 |
fprintf fmt "COUCOU" |
|
84 |
|
|
85 | 72 |
(** Print the gpr project file. |
86 | 73 |
@param fmt the formater to print on |
87 | 74 |
@param machine the main machine |
Also available in: Unified diff
Ada: Removed useless function