From 9fbc4e5cc76c9741a0aa95c93f5420bc3e27cbcb Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Wed, 21 Aug 2024 13:21:57 -0700
Subject: [PATCH] Update
 kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs

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

diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs
index f16d9bf721e0..e8f1424f09a3 100644
--- a/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs
+++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs
@@ -698,7 +698,7 @@ impl<'tcx> GotocCtx<'tcx> {
                         let pointee_goto_typ = Type::unsigned_int(8);
                         // cast data to pointer with specified type
                         let data_cast =
-                            data.cast_to(Type::Pointer { typ: Box::new(pointee_goto_typ.clone()) });
+                            data.cast_to(Type::Pointer { typ: Box::new(pointee_goto_typ) });
                         let meta = self.codegen_operand_stable(&operands[1]);
                         slice_fat_ptr(typ, data_cast, meta, &self.symbol_table)
                     }