Remove another mention of old flag name

pull/789/head
Wilfred Hughes 2024-11-15 22:54:58 +07:00
parent 430db0efc5
commit 956b09a63e
2 changed files with 3 additions and 3 deletions

@ -161,7 +161,7 @@ fn main() {
}
}
}
Mode::DumpSyntaxDotty {
Mode::DumpSyntaxDot {
path,
ignore_comments,
language_overrides,

@ -494,7 +494,7 @@ pub(crate) enum Mode {
ignore_comments: bool,
language_overrides: Vec<(LanguageOverride, Vec<glob::Pattern>)>,
},
DumpSyntaxDotty {
DumpSyntaxDot {
path: String,
ignore_comments: bool,
language_overrides: Vec<(LanguageOverride, Vec<glob::Pattern>)>,
@ -659,7 +659,7 @@ pub(crate) fn parse_args() -> Mode {
}
if let Some(path) = matches.value_of("dump-syntax-dot") {
return Mode::DumpSyntaxDotty {
return Mode::DumpSyntaxDot {
path: path.to_owned(),
ignore_comments,
language_overrides,