From fcb99ad61029c8f3e1b3573def37007600d5a091 Mon Sep 17 00:00:00 2001
From: Artem Agvanian <nartagva@amazon.com>
Date: Fri, 5 Jul 2024 15:16:35 -0700
Subject: [PATCH] Remove unnecessary clone

---
 kani-compiler/src/kani_middle/transform/check_uninit/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kani-compiler/src/kani_middle/transform/check_uninit/mod.rs b/kani-compiler/src/kani_middle/transform/check_uninit/mod.rs
index 8a79d3a1793b..dc86e5ab8f48 100644
--- a/kani-compiler/src/kani_middle/transform/check_uninit/mod.rs
+++ b/kani-compiler/src/kani_middle/transform/check_uninit/mod.rs
@@ -108,7 +108,7 @@ impl TransformPass for UninitPass {
                 &mut source,
                 InsertPosition::Before,
                 vec![],
-                ret_place.clone(),
+                ret_place,
             );
         }