Project

General

Profile

Revision 6d3b5007 src/tools/importer/main_lustre_importer.ml

View differences:

src/tools/importer/main_lustre_importer.ml
43 43
 (*     Printers.pp_prog std_formatter program; *)
44 44
      
45 45
  | Error e -> Format.printf "Error: %s\n" e;
46

  

Also available in: Unified diff