Project

General

Profile

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

View differences:

src/backends/C/c_backend_src.ml
212 212
			       The order of evaluation of dependencies should be
213 213
			       compatible with overloading. (Not checked yet) *) 
214 214
      List.fold_left
215
	(fun res (_, _, decls) -> 
215
	(fun res (Dep (_, _, decls, _)) -> 
216 216
	  match res with
217 217
	  | Some _ -> res
218 218
	  | None -> 
......
421 421
    begin
422 422
      fprintf source_fmt "#include <stdlib.h>@.";
423 423
    end;
424
  print_import_prototype source_fmt (true, basename, []);
424
  print_import_prototype source_fmt (Dep (true, basename, [], true (* assuming it is stateful *)));
425 425
  pp_print_newline source_fmt ();
426 426
  (* Print the svn version number and the supported C standard (C90 or C99) *)
427 427
  print_version source_fmt;

Also available in: Unified diff