diff options
| author | Florian Hartwig <florian.j.hartwig@gmail.com> | 2016-01-27 20:59:19 +0100 |
|---|---|---|
| committer | Florian Hartwig <florian.j.hartwig@gmail.com> | 2016-01-27 20:59:19 +0100 |
| commit | 23dfb2fbc0e10150ec00053406d372321a09bbd6 (patch) | |
| tree | 645271c29fe6a84b44347ac2d48c8bfba6089c2b /src | |
| parent | 04f9d35f64b0a08a6ea2ff6ce8ceab358526cade (diff) | |
| download | rust-23dfb2fbc0e10150ec00053406d372321a09bbd6.tar.gz rust-23dfb2fbc0e10150ec00053406d372321a09bbd6.zip | |
Make update_lints script accept digits in lint names
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs index 731778db606..b0cf4d46972 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -239,6 +239,7 @@ pub fn plugin_registrar(reg: &mut Registry) { temporary_assignment::TEMPORARY_ASSIGNMENT, transmute::USELESS_TRANSMUTE, types::BOX_VEC, + types::CHAR_LIT_AS_U8, types::LET_UNIT_VALUE, types::LINKEDLIST, types::TYPE_COMPLEXITY, |