Revision 69cd79c6
| src/backends/Ada/ada_backend_adb.ml | ||
|---|---|---|
| 77 | 77 |
(pp_machine_var_decl NoMode) |
| 78 | 78 |
(pp_machine_instr m) |
| 79 | 79 |
fmt |
| 80 |
([], filter_reset m.minit)
|
|
| 80 |
([], m.minit) |
|
| 81 | 81 |
|
| 82 | 82 |
(** Print the package definition(adb) of a machine. |
| 83 | 83 |
@param fmt the formater to print on |
Also available in: Unified diff