Update kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs

celinval · Aug 21, 2024 · 9fbc4e5 · 9fbc4e5
1 parent e2f73b7
commit 9fbc4e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)
                     }