Project

General

Profile

« Previous | Next » 

Revision c419ca44

Added by Guillaume DAVY almost 3 years ago

Ada: Changed type name for states and normalized variable name to match ada requirements.

View differences:

src/compiler_stages.ml
264 264
     end
265 265
  | "Ada" ->
266 266
    begin
267
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. Ada code generation@,");
267
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. Ada code generation@.");
268 268
      Ada_backend.translate_to_ada
269 269
	basename prog machine_code dependencies
270 270
    end

Also available in: Unified diff