Revision 5fccce23 src/backends/C/c_backend_mauve.ml
src/backends/C/c_backend_mauve.ml | ||
---|---|---|
33 | 33 |
|
34 | 34 |
let print_mauve_header fmt mauve_machine basename prog machines _ (*dependencies*) = |
35 | 35 |
fprintf fmt "#include \"mauve/runtime.hpp\"@."; |
36 |
print_import_alloc_prototype fmt (Dep (true, basename, [], true (* assuming it is stateful*) ));
|
|
36 |
print_import_alloc_prototype fmt {local=true; name=basename; content=[]; is_stateful=true} (* assuming it is stateful*) ;
|
|
37 | 37 |
pp_print_newline fmt (); |
38 | 38 |
pp_print_newline fmt () |
39 | 39 |
|
Also available in: Unified diff