Project

General

Profile

Revision 2863281f src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
98 98
  in
99 99

  
100 100
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ ");
101
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ "Machine_code.pp_machines machine_code);
101
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ " Machine_code_common.pp_machines machine_code);
102 102

  
103 103
  if Scopes.Plugin.show_scopes () then
104 104
    begin

Also available in: Unified diff