Whoops

model-checking · Jan 31, 2024 · 6bbbb24 · 6bbbb24
1 parent 6414e22
commit 6bbbb24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,
         });