Project

General

Profile

Revision 1bff14ac src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
175 175

  
176 176
let print_main_header fmt =
177 177
  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\"@.")
178
    (Options.core_dependency "io_frontend")
178
    (Options_management.core_dependency "io_frontend")
179 179

  
180 180
let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) =
181 181
  print_main_header main_fmt;

Also available in: Unified diff