Update clippy_dev/src/main.rs

Co-Authored-By: Philipp Krones <hello@philkrones.com>
2019-06-06 15:19:42 -07:00
parent cf88c8487a
commit 44b849521e
1 changed files with 1 additions and 1 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -102,7 +102,7 @@ pub struct Lint {{
    pub module: &'static str,
 }}

-pub const ALL_LINTS: [Lint; {}] = {:#?};",
+pub const ALL_LINTS: [Lint; {}] = {:#?};\n",
            lint_list.len(),
            lint_list
        ),