Project

General

Profile

Revision 4f3cc9f3 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
258 258
      let fmt = Format.std_formatter in
259 259
      Horn_backend.translate fmt basename normalized_prog machine_code
260 260
    end
261
    | _ -> assert false
261 262
  in
262 263
  report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
263 264
  (* We stop the process here *)

Also available in: Unified diff