Fix crash on dev --limit-stderr-length

2019-06-25 07:30:29 +02:00 · 2019-06-25 07:30:29 +02:00 · 11707f3443
commit 11707f3443
parent 4c771c3478
1 changed files with 1 additions and 1 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@ -77,7 +77,7 @@ fn main() {
                update_lints(&UpdateMode::Change);
            }
        },
-        _ => unreachable!(),
+        _ => {},
    }
 }