Project

General

Profile

Revision e7cc5186 src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
42 42
      begin
43 43
	Global.main_node := !Options.main_node;
44 44
	Format.eprintf "Code generation error: %a%a@."
45
	  pp_error Main_wrong_kind
45
	  Error.pp_error_msg Error.Main_wrong_kind
46 46
	  Location.pp_loc v'.var_loc;
47
	raise (Error (v'.var_loc, Main_wrong_kind))
47
	raise (Error (v'.var_loc, Error.Main_wrong_kind))
48 48
      end
49 49
  in
50 50
  List.iteri2 (fun idx v' v ->

Also available in: Unified diff