Project

General

Profile

Revision 58a463e7 src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
110 110
  fprintf fmt "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.h\"@." Version.include_path 
111 111

  
112 112

  
113
let print_main_c main_fmt main_machine basename prog machines dependencies =
113
let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) =
114 114
  print_main_header main_fmt;
115 115
  fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@.";
116
  print_import_alloc_prototype main_fmt (true, basename, []);
116
  print_import_alloc_prototype main_fmt (Dep (true, basename, [], true (* assuming it is stateful*) ));
117 117
  pp_print_newline main_fmt ();
118 118

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

Also available in: Unified diff