Revision f3e8fc18
Added by Christophe Garion about 6 years ago
src/backends/Ada/ada_backend_common.ml | ||
---|---|---|
230 | 230 |
|
231 | 231 |
(* Prototype pretty print functions *) |
232 | 232 |
|
233 |
(** Print the reset of the init procedure **)
|
|
233 |
(** Print the name of the reset procedure **)
|
|
234 | 234 |
let pp_reset_procedure_name fmt = fprintf fmt "reset" |
235 | 235 |
|
236 | 236 |
(** Print the name of the step procedure **) |
Also available in: Unified diff
Ada: typo