Revision 5fccce23 src/backends/C/c_backend_main.ml
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