Project

General

Profile

Revision 5fccce23 src/backends/C/c_backend_mauve.ml

View differences:

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