Project

General

Profile

Revision f30a2012 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
267 267
  Corelang.add_internal_funs ();
268 268
  try
269 269
    Printexc.record_backtrace true;
270
    Arg.parse Options.options anonymous usage
270
    Arg.parse Options.lustrec_options anonymous usage
271 271
  with
272 272
  | Parse.Syntax_err _ | Lexer_lustre.Error _ 
273 273
  | Types.Error (_,_) | Clocks.Error (_,_)

Also available in: Unified diff