clippy

RalfJung · RalfJung · commit 4aa07c921aba · 2023-01-13T14:01:33.000+01:00
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs
@@ -21,7 +21,7 @@
     clippy::single_match,
     clippy::useless_format,
     clippy::derive_partial_eq_without_eq,
-    clippy::derive_hash_xor_eq,
+    clippy::derived_hash_with_manual_eq,
     clippy::too_many_arguments,
     clippy::type_complexity,
     clippy::single_element_loop,
