diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/contract.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/contract.rs
index 3e4f37ea9af2..dc888cc99660 100644
--- a/kani-compiler/src/codegen_cprover_gotoc/codegen/contract.rs
+++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/contract.rs
@@ -41,7 +41,7 @@ impl<'tcx> GotocCtx<'tcx> {
             MonoItem::Fn(instance @ Instance { def, .. })
                 if wrapped_fn == rustc_internal::internal(def.def_id()) =>
             {
-                Some(instance.clone())
+                Some(instance)
             }
             _ => None,
         });