From 11707f3443c44c2cdfe99a0873dacf26e8681352 Mon Sep 17 00:00:00 2001
From: Michael Wright <mikerite@lavabit.com>
Date: Tue, 25 Jun 2019 07:30:29 +0200
Subject: Fix crash on `dev --limit-stderr-length`

---
 clippy_dev/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'clippy_dev')

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!(),
+        _ => {},
     }
 }
 
-- 
cgit 1.4.1-3-g733a5