From ef02e3a755150085aa30b379ce06ce93d74a9d52 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Thu, 24 Oct 2019 11:55:22 +0200 Subject: Run ./util/dev fmt --- clippy_dev/src/main.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'clippy_dev') diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index f088504f5cd..79ec5120af9 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -67,7 +67,7 @@ fn main() { match matches.subcommand() { ("fmt", Some(matches)) => { fmt::run(matches.is_present("check"), matches.is_present("verbose")); - } + }, ("update_lints", Some(matches)) => { if matches.is_present("print-only") { print_lints(); @@ -76,8 +76,8 @@ fn main() { } else { update_lints(&UpdateMode::Change); } - } - _ => {} + }, + _ => {}, } } -- cgit 1.4.1-3-g733a5