Project

General

Profile

« Previous | Next » 

Revision 721ce555

Added by Guillaume DAVY over 5 years ago

Ada: Removed useless function

View differences:

src/backends/Ada/ada_backend_wrapper.ml
69 69
    pp_with_machine machine
70 70
    (pp_main_procedure_definition machine) (locals, instrs)
71 71

  
72

  
73
(** Print the arrow ads file.
74
   @param fmt the formater to print on
75
**)
76
let pp_arrow_ads fmt =
77
  fprintf fmt "COUCOU"
78

  
79
(** Print the arrow adb file.
80
   @param fmt the formater to print on
81
**)
82
let pp_arrow_adb fmt =
83
  fprintf fmt "COUCOU"
84

  
85 72
(** Print the gpr project file.
86 73
   @param fmt the formater to print on
87 74
   @param machine the main machine

Also available in: Unified diff