Project

General

Profile

« Previous | Next » 

Revision f3e8fc18

Added by Christophe Garion about 6 years ago

Ada: typo

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