Project

General

Profile

Revision 40d33d55 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
457 457
  try
458 458
    Printexc.record_backtrace true;
459 459

  
460
    let options = Options.options @ 
460
    let options = Options.lustrec_options @ 
461 461
      List.flatten (
462 462
	List.map Options.plugin_opt [
463 463
	  Scopes.Plugin.name, Scopes.Plugin.activate, Scopes.Plugin.options

Also available in: Unified diff