Adjust to clippy lint rename

This commit is contained in:
Jonas Platte 2021-12-10 13:10:54 +01:00
parent 75283845bc
commit c082969d16
No known key found for this signature in database
GPG Key ID: CC154DE0E30B7C67

View File

@ -13,7 +13,7 @@ rustflags = [
"-Wclippy::branches_sharing_code",
"-Wclippy::cloned_instead_of_copied",
"-Wclippy::dbg_macro",
"-Wclippy::disallowed_type",
"-Wclippy::disallowed_types",
"-Wclippy::empty_line_after_outer_attr",
"-Wclippy::exhaustive_enums",
"-Wclippy::exhaustive_structs",