void Error_WrongOption(string option) { report.Error (2007, "Unrecognized command-line option: `{0}'", option); }