From 6414e221743b0b838b189fc0009b088daae87354 Mon Sep 17 00:00:00 2001
From: Justus Adam <justbldr@amazon.com>
Date: Wed, 31 Jan 2024 12:41:34 -0500
Subject: [PATCH] Clippy complained

---
 kani-compiler/src/codegen_cprover_gotoc/codegen/contract.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,
         });