Project

General

Profile

« Previous | Next » 

Revision 2477d634

Added by Guillaume DAVY over 4 years ago

Ada: Correct some errors in printing

View differences:

src/backends/Ada/ada_backend_ads.ml
253 253 
      let pp_contract_opt = match guarantees with
254 254 
                              | [] -> None
255 255 
                              | _ ->  Some (pp_contract guarantees) in
256 
      fprintf fmt "%a%a;@,%a" (* %a;@, *)
256 
      fprintf fmt "%a%a%a%a" (* %a;@, *)
257 257 
        pp_ifstatefull pp_state_decl_and_reset
258 258
259 259 
        (*Declare the transition predicate*)
......
262 262 
        (*Declare the step procedure*)
263 263 
        (pp_procedure pp_step_procedure_name (build_pp_arg_step m) pp_contract_opt) AdaNoContent
264 264
265 
        pp_ifstatefull (fun fmt -> fprintf fmt ";@,")
266
265 267 
        (*Print the private section*)
266 268 
        pp_ifstatefull pp_private_section
267 269 
    in

Also available in: Unified diff