diff options
| author | Ralf Jung <post@ralfj.de> | 2023-01-13 14:01:33 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-01-13 14:01:33 +0100 |
| commit | 4aa07c921abafcc43fc9d545d8ec86b80103ec4e (patch) | |
| tree | 7ecd84a4f5c11bae743e22efaff4617a4197a7f6 /src/tools | |
| parent | 9475277c235d2297dc446155325b0b3fcfdbf722 (diff) | |
| download | rust-4aa07c921abafcc43fc9d545d8ec86b80103ec4e.tar.gz rust-4aa07c921abafcc43fc9d545d8ec86b80103ec4e.zip | |
clippy
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 7024927b205..84b64b03913 100644 --- 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, |
