Revision 2ddbde7d
Added by Guillaume DAVY over 4 years ago
| src/backends/Ada/ada_backend_adb.ml | ||
|---|---|---|
| 53 | 53 |
pp_var_decl |
| 54 | 54 |
(pp_machine_instr m) |
| 55 | 55 |
fmt |
| 56 |
([], m.mstep) |
|
| 56 |
([], m.mstep.step_instrs)
|
|
| 57 | 57 |
|
| 58 | 58 |
(** Print the definition of the reset procedure from a machine. |
| 59 | 59 |
@param fmt the formater to print on |
Also available in: Unified diff
Ada: Last correction was incorrect