From 6bbbb24dcc5cc6287b42550a3729253ffe86614f Mon Sep 17 00:00:00 2001
From: Justus Adam <justbldr@amazon.com>
Date: Wed, 31 Jan 2024 12:47:51 -0500
Subject: [PATCH] Whoops

---
 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 dc888cc99660..964286984fc6 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)
+                Some(*instance)
             }
             _ => None,
         });