diff --git a/language/move-prover/bytecode/src/well_formed_instrumentation.rs b/language/move-prover/bytecode/src/well_formed_instrumentation.rs
index 79ca1d5a04..9b10d56066 100644
--- a/language/move-prover/bytecode/src/well_formed_instrumentation.rs
+++ b/language/move-prover/bytecode/src/well_formed_instrumentation.rs
@@ -35,7 +35,7 @@ impl WellFormedInstrumentationProcessor {
         Box::new(Self {})
     }
 }
-#[allow(clippy::redundant-clone)]
+#[allow(clippy::redundant_clone)]
 impl FunctionTargetProcessor for WellFormedInstrumentationProcessor {
     fn process(
         &self,