Project

General

Profile

Revision 04a188ec src/backends/Ada/ada_backend.ml

View differences:

src/backends/Ada/ada_backend.ml
155 155
    match Machine_code_common.get_machine_opt filtered_machines main_node with
156 156
    | None -> begin
157 157
      Format.eprintf "Ada Code generation error: %a@." Error.pp_error_msg Error.Main_not_found;
158
      raise (Corelang.Error (Location.dummy_loc, Error.Main_not_found))
158
      raise (Error.Error (Location.dummy_loc, Error.Main_not_found))
159 159
    end
160 160
    | Some m -> Some m
161 161
  )) in

Also available in: Unified diff