diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs
index 8fdc4254d..5fa7a87a5 100644
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -77,7 +77,7 @@ fn main() {
                 update_lints(&UpdateMode::Change);
             }
         },
-        _ => unreachable!(),
+        _ => {},
     }
 }