Project

General

Profile

Revision e7cc5186 src/backends/C/c_backend.ml

View differences:

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

Also available in: Unified diff