From 5eada0fb1ab69db143473332d94fa594b192390d Mon Sep 17 00:00:00 2001
From: Liam Monninger <l-monninger@Liams-MacBook-Air.local>
Date: Thu, 25 May 2023 15:41:45 -0700
Subject: [PATCH] #244

---
 .../move-prover/bytecode/src/well_formed_instrumentation.rs     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,