Project

General

Profile

Revision 1bff14ac src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
486 486
  try
487 487
    Printexc.record_backtrace true;
488 488

  
489
    let options = Options.lustrec_options @ (Plugins.options ()) in
489
    let options = Options_management.lustrec_options @ (Plugins.options ()) in
490 490
    
491 491
    Arg.parse options anonymous usage
492 492
  with

Also available in: Unified diff