Project

General

Profile

Revision f3e8fc18

View differences:

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