From 9005c774d63437b52c4e72e49f7716b549003422 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 21 Feb 2023 12:28:17 +0100 Subject: [PATCH] silence clippy --- src/tools/miri/src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 84b64b03913..f64f216520f 100644 --- 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,