Project

General

Profile

Revision 4ba20be4

View differences:

src/backends/Ada/ada_backend_adb.ml
38 38
let pp_init_definition fmt m = pp_procedure_definition
39 39
      pp_init_procedure_name
40 40
      (pp_init_prototype m)
41
      pp_var_decl
41
      (pp_machine_var_decl NoMode)
42 42
      (pp_machine_instr m)
43 43
      fmt
44 44
      ([], m.minit)
......
50 50
let pp_step_definition fmt m = pp_procedure_definition
51 51
      pp_step_procedure_name
52 52
      (pp_step_prototype m)
53
      pp_var_decl
53
      (pp_machine_var_decl NoMode)
54 54
      (pp_machine_instr m)
55 55
      fmt
56
      ([], m.mstep.step_instrs)
56
      (m.mstep.step_locals, m.mstep.step_instrs)
57 57

  
58 58
(** Print the definition of the reset procedure from a machine.
59 59
   @param fmt the formater to print on
......
62 62
let pp_reset_definition fmt m = pp_procedure_definition
63 63
      pp_reset_procedure_name
64 64
      (pp_reset_prototype m)
65
      pp_var_decl
65
      (pp_machine_var_decl NoMode)
66 66
      (pp_machine_instr m)
67 67
      fmt
68 68
      ([], m.minit)
......
74 74
let pp_clear_definition fmt m = pp_procedure_definition
75 75
      pp_clear_procedure_name
76 76
      (pp_clear_prototype m)
77
      pp_var_decl
77
      (pp_machine_var_decl NoMode)
78 78
      (pp_machine_instr m)
79 79
      fmt
80 80
      ([], filter_reset m.minit)

Also available in: Unified diff