Project

General

Profile

Revision 1bff14ac src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
161 161
  try
162 162
    Printexc.record_backtrace true;
163 163

  
164
    let options = Options.lustret_options
164
    let options = Options_management.lustret_options
165 165

  
166 166
    in
167 167
    

Also available in: Unified diff