diff options
| author | Michael Wright <mikerite@lavabit.com> | 2019-06-25 07:30:29 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2019-07-07 15:11:37 +0200 |
| commit | 11707f3443c44c2cdfe99a0873dacf26e8681352 (patch) | |
| tree | a8c8a0e2756d06f1cc9f0fbec2347a67adcfd351 /clippy_dev/src | |
| parent | 4c771c3478d79d0d617752324f215d9bf5fe7512 (diff) | |
| download | rust-11707f3443c44c2cdfe99a0873dacf26e8681352.tar.gz rust-11707f3443c44c2cdfe99a0873dacf26e8681352.zip | |
Fix crash on `dev --limit-stderr-length`
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index 8fdc4254d0c..5fa7a87a5de 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -77,7 +77,7 @@ fn main() { update_lints(&UpdateMode::Change); } }, - _ => unreachable!(), + _ => {}, } } |