| … | … | @@ -532,6 +532,12 @@ int main(int argc, char * argv[]) |
| 532 | 532 | } |
| 533 | 533 | |
| 534 | 534 | copts = command_options_create(); |
| 535 | if (copts == NULL || copts->popts == NULL) |
| 536 | { |
| 537 | prt_error("Fatal error: unable to create parse options\n"); |
| 538 | exit(-1); |
| 539 | } |
| 540 | opts = copts->popts; |
| 535 | 541 | |
| 536 | 542 | /* First set the debug options, to allow dictionary-related debug. */ |
| 537 | 543 | const char * const debug_vars[] = { "verbosity", "debug", "test" }; |
| … | … | @@ -612,13 +618,6 @@ int main(int argc, char * argv[]) |
| 612 | 618 | } |
| 613 | 619 | } |
| 614 | 620 | |
| 615 | | if (copts == NULL || copts->popts == NULL) |
| 616 | | { |
| 617 | | prt_error("Fatal error: unable to create parse options\n"); |
| 618 | | exit(-1); |
| 619 | | } |
| 620 | | opts = copts->popts; |
| 621 | | |
| 622 | 621 | set_default_parse_options(opts); |
| 623 | 622 | |
| 624 | 623 | /* Get the panic disjunct cost from the dictionary. */ |