Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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