Project

General

Profile

Revision 69cd79c6 src/backends/Ada/ada_backend_adb.ml

View differences:

src/backends/Ada/ada_backend_adb.ml
77 77
      (pp_machine_var_decl NoMode)
78 78
      (pp_machine_instr m)
79 79
      fmt
80
      ([], filter_reset m.minit)
80
      ([], m.minit)
81 81

  
82 82
(** Print the package definition(adb) of a machine.
83 83
   @param fmt the formater to print on

Also available in: Unified diff