Revision 7f03f62d
Added by Lélio Brun about 2 years ago
| 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
first version that is parsed correctly by Frama-C