Project

General

Profile

Revision df647a81 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
277 277
	let fmt = formatter_of_out_channel source_out in
278 278
	Horn_backend.translate fmt basename normalized_prog machine_code
279 279
      end
280
    | "dot" ->
281
      begin
282
	Dot_backend.translate destname basename normalized_prog machine_code
283
      end
280 284
    | _ -> assert false
281 285
  in
282 286
  report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");

Also available in: Unified diff