Project

General

Profile

« Previous | Next » 

Revision e057dd08

Added by Teme Kahsai over 6 years ago

adjusting travis

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