Project

General

Profile

Revision c203d676 src/backends/Ada/ada_backend_ads.ml

View differences:

src/backends/Ada/ada_backend_ads.ml
74 74
    (pp_begin_package false) m
75 75
    
76 76
    (*Declare the state type*)
77
    pp_private_type_decl pp_state_type
77
    pp_private_limited_type_decl pp_state_type
78 78
    
79 79
    (*Declare the init procedure*)
80 80
    (pp_init_prototype m) pp_init_procedure_name

Also available in: Unified diff