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