Project

General

Profile

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

View differences:

src/backends/C/c_backend_main.ml
164 164
let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) =
165 165
  print_main_header main_fmt;
166 166
  fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@.";
167
  print_import_alloc_prototype main_fmt (Dep (true, basename, [], true (* assuming it is stateful*) ));
167
  print_import_alloc_prototype main_fmt {local=true; name=basename; content=[]; is_stateful=true} (* assuming it is stateful*) ;
168 168
  pp_print_newline main_fmt ();
169 169

  
170 170
  (* Print the svn version number and the supported C standard (C90 or C99) *)

Also available in: Unified diff