Revision 0a6648a3
Added by Pierre-Loïc Garoche over 6 years ago
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 457 | 457 |
Corelang.add_internal_funs (); |
| 458 | 458 |
try |
| 459 | 459 |
Printexc.record_backtrace true; |
| 460 |
Printf.eprintf "\nParsing\n";
|
|
| 461 |
Arg.parse Options.options anonymous usage;
|
|
| 462 |
Printf.eprintf "\nDest=%s\n" !Options.dest_file;
|
|
| 460 |
(* Printf.eprintf "\nParsing\n"; *)
|
|
| 461 |
(* Arg.parse Options.options anonymous usage; *)
|
|
| 462 |
(* Printf.eprintf "\nDest=%s\n" !Options.dest_file; *)
|
|
| 463 | 463 |
|
| 464 | 464 |
|
| 465 | 465 |
let options = Options.options @ |
Also available in: Unified diff
Double call to main function. Wasa clearly a typo