Project

General

Profile

Revision 0a6648a3

View differences:

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

  
464 464

  
465 465
    let options = Options.options @

Also available in: Unified diff