Remove unnecessary clone

model-checking · Jul 5, 2024 · fcb99ad · fcb99ad
1 parent cb93dcb
commit fcb99ad
Showing 1 changed file with 1 addition and 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
@@ -108,7 +108,7 @@ impl TransformPass for UninitPass {
  &mut source,
  InsertPosition::Before,
  vec![],
- ret_place.clone(),
+ ret_place,
  );
  }