Revision 8c8d009b
Added by Guillaume DAVY over 4 years ago
| src/backends/Ada/ada_backend_adb.ml | ||
|---|---|---|
| 259 | 259 |
let pp_file fmt machine = |
| 260 | 260 |
fprintf fmt "%a@, @[<v>@,%a;@,@,%a;@,@,%a;@,@,%a;@,@]@,%a;@." |
| 261 | 261 |
(pp_begin_package true) machine (*Begin the package*) |
| 262 |
pp_init_definition machine (*Define the init procedure*) |
|
| 263 |
pp_step_definition machine (*Define the step procedure*) |
|
| 264 | 262 |
pp_reset_definition machine (*Define the reset procedure*) |
| 265 |
pp_clear_definition machine (*Define the clear procedure*)
|
|
| 263 |
pp_step_definition machine (*Define the step procedure*)
|
|
| 266 | 264 |
pp_end_package machine (*End the package*) |
| 267 | 265 |
|
| 268 | 266 |
end |
Also available in: Unified diff
Ada: Removed from adb the print of clear and init.