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,
             );
         }