Project

General

Profile

Revision 66359a5e src/backends/C/c_backend_header.ml

View differences:

src/backends/C/c_backend_header.ml
35 35

  
36 36
let print_import_standard fmt =
37 37
  begin
38
    (* if Machine_types.has_machine_type () then *)
39
    (*   begin *)
40
	fprintf fmt "#include <stdint.h>@.";
41
      (* end; *)
38 42
    if !Options.mpfr then
39 43
      begin
40 44
	fprintf fmt "#include <mpfr.h>@."
41 45
      end;
42
  if !Options.cpp then
43
    fprintf fmt "#include \"%s/arrow.hpp\"@.@." arrow_top_decl.top_decl_owner 
44
  else
45
    fprintf fmt "#include \"%s/arrow.h\"@.@." arrow_top_decl.top_decl_owner 
46

  
46
    if !Options.cpp then
47
      fprintf fmt "#include \"%s/arrow.hpp\"@.@." arrow_top_decl.top_decl_owner 
48
    else
49
      fprintf fmt "#include \"%s/arrow.h\"@.@." arrow_top_decl.top_decl_owner 
50
	
47 51
  end
48 52

  
49 53
let rec print_static_val pp_var fmt v =

Also available in: Unified diff