Project

General

Profile

Revision e057dd08 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
459 459
    Printexc.record_backtrace true;
460 460
    Printf.eprintf "\nParsing\n";
461 461
    Arg.parse Options.options anonymous usage;
462
    Printf.eprintf "\nDest=%s\n" !Options.dest_file
462
    Printf.eprintf "\nDest=%s\n" !Options.dest_file;
463 463

  
464 464

  
465 465
    let options = Options.options @

Also available in: Unified diff