Project

General

Profile

Revision 70e1006b src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
112 112

  
113 113
let print_main_c main_fmt main_machine basename prog machines dependencies =
114 114
  print_main_header main_fmt;
115
  fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@.#include \"%s\"@.@." (basename^".h");
115
  fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@.";
116
  print_import_alloc_prototype main_fmt (true, basename, []);
117
  pp_print_newline main_fmt ();
118

  
116 119
  (* Print the svn version number and the supported C standard (C90 or C99) *)
117 120
  print_version main_fmt;
118 121
  print_main_fun machines main_machine main_fmt

Also available in: Unified diff