Project

General

Profile

« Previous | Next » 

Revision 2477d634

Added by Guillaume DAVY almost 3 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