Project

General

Profile

Revision e6705d79 src/backends/Ada/ada_backend_adb.ml

View differences:

src/backends/Ada/ada_backend_adb.ml
53 53
      pp_var_decl
54 54
      (pp_machine_instr m)
55 55
      fmt
56
      ([], m.minit)
56
      ([], m.mstep)
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