Project

General

Profile

« Previous | Next » 

Revision 7f03f62d

Added by LĂ©lio Brun 10 months ago

first version that is parsed correctly by Frama-C

View differences:

src/backends/C/c_backend_header.ml
210 210
      | _ -> assert false
211 211
    in
212 212
    fprintf fmt "%a %s %a"
213
      (pp_basic_c_type ~var_opt:None) output.var_type
213
      (pp_basic_c_type ~pp_c_basic_type_desc ~var_opt:None) output.var_type
214 214
      name
215 215
      (pp_print_parenthesized pp_c_decl_input_var) inputs
216 216

  

Also available in: Unified diff