void Error_RequiresArgument(string option) { report.Error (2006, "Missing argument for `{0}' option", option); }