Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/C/c_backend_mauve.ml | ||
---|---|---|
26 | 26 |
|
27 | 27 |
let print_mauve_header fmt basename = |
28 | 28 |
fprintf fmt "#include \"mauve/runtime.hpp\"@."; |
29 |
print_import_alloc_prototype fmt
|
|
29 |
pp_import_alloc_prototype fmt
|
|
30 | 30 |
{ local = true; name = basename; content = []; is_stateful = true } |
31 | 31 |
(* assuming it is stateful*); |
32 | 32 |
pp_print_newline fmt (); |
Also available in: Unified diff
another step towards refactoring