Project

General

Profile

Revision ac6b9224 src/tools/importer/main_lustre_importer.ml

View differences:

src/tools/importer/main_lustre_importer.ml
42 42
      (* Pretty print lustre value *)
43 43
 (*     Printers.pp_prog std_formatter program; *)
44 44
      
45
  | Error e -> Format.printf "Error: %s\n" e;
45
  | Error e -> failwith (Format.sprintf "Error: %s\n" e);

Also available in: Unified diff