Project

General

Profile

Revision 52c5ba00 src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
179 179
  fprintf fmt "@]@ }@."       
180 180

  
181 181
let print_main_header fmt =
182
  fprintf fmt "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.h\"@."
182
  fprintf fmt (if !Options.cpp then "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.hpp\"@." else "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.h\"@.")
183 183
    !Options.include_dir
184 184

  
185 185
let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) =

Also available in: Unified diff