Fix clippy lint name

pull/392/head
Wilfred Hughes 2022-09-24 19:38:46 +07:00
parent 345a88fe53
commit 3bf7dea04f
1 changed files with 1 additions and 1 deletions

@ -14,7 +14,7 @@
#![allow(clippy::too_many_arguments)]
// Has false positives on else if chains that sometimes have the same
// body for readability.
#![allow(clippy::clippy::if_same_then_else)]
#![allow(clippy::if_same_then_else)]
mod constants;
mod diff;