Project

General

Profile

Revision 04a188ec src/backends/C/c_backend.ml

View differences:

src/backends/C/c_backend.ml
54 54
    | None -> begin
55 55
      Global.main_node := main_node;
56 56
      Format.eprintf "Code generation error: %a@." Error.pp_error_msg Error.Main_not_found;
57
      raise (Corelang.Error (Location.dummy_loc, Error.Main_not_found))
57
      raise (Error.Error (Location.dummy_loc, Error.Main_not_found))
58 58
    end
59 59
    | Some m -> begin
60 60
      let source_main_file = (if !Options.cpp then destname ^ "_main.cpp" else destname ^ "_main.c") in (* Could be changed *)
......
76 76
    | None -> begin
77 77
      Global.main_node := mauve;
78 78
      Format.eprintf "Code generation error: %a@." Error.pp_error_msg Error.Main_not_found;
79
      raise (Corelang.Error (Location.dummy_loc, Error.Main_not_found))
79
      raise (Error.Error (Location.dummy_loc, Error.Main_not_found))
80 80
    end
81 81
    | Some m -> begin
82 82
      let source_mauve_file = destname ^ "_mauve.hpp" in

Also available in: Unified diff