Project

General

Profile

Revision 2fb97ad4 src/main_lustre_verifier.ml

View differences:

src/main_lustre_verifier.ml
14 14
open Compiler_common
15 15

  
16 16
open Utils
17
open LustreSpec
17
open Lustre_types
18 18
 
19 19

  
20 20
let usage = "Usage: lustrev [options] \x1b[4msource file\x1b[0m"
......
74 74
  in
75 75

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

  
79 79
  if Scopes.Plugin.show_scopes () then
80 80
    begin

Also available in: Unified diff