silence clippy

2023-02-21 12:28:17 +01:00 · 2023-02-21 12:28:17 +01:00 · 9005c774d6
commit 9005c774d6
parent 84f345281e
1 changed files with 1 additions and 0 deletions
--- a/src/tools/miri/src/lib.rs
+++ b/src/tools/miri/src/lib.rs
@ -13,6 +13,7 @@
 #![allow(
    clippy::collapsible_else_if,
    clippy::collapsible_if,
+    clippy::if_same_then_else,
    clippy::comparison_chain,
    clippy::enum_variant_names,
    clippy::field_reassign_with_default,