| # | Line 337 | Line 337 | int main(int argc, char *argv []) { | |
|---|---|---|
| 337 | exit(1); | |
| 338 | } | |
| 339 | ||
| 340 | < | writer->writeDump(); |
| 340 | > | writer->writeEor(); |
| 341 | std::cout << "new initial configuration file: " << outInitFileName | |
| 342 | << " is generated." << std::endl; | |
| 343 | ||
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |