From 95ed4b42fdc910a91f792e49d36ed3301ea7499a Mon Sep 17 00:00:00 2001 From: David Anekstein Date: Tue, 29 Aug 2023 14:31:56 -0400 Subject: [PATCH] fix linter complaint --- c2rust-analyze/src/c_void_casts.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/c2rust-analyze/src/c_void_casts.rs b/c2rust-analyze/src/c_void_casts.rs index 0d26413efb..42ed674d42 100644 --- a/c2rust-analyze/src/c_void_casts.rs +++ b/c2rust-analyze/src/c_void_casts.rs @@ -464,7 +464,7 @@ impl<'tcx> CVoidCasts<'tcx> { tcx, ) { self.find_and_insert_pred_cast( - body, c_void_ptr, direction, block, bb_data, + body, c_void_ptr, direction, bb_data, ); } } @@ -508,7 +508,6 @@ impl<'tcx> CVoidCasts<'tcx> { body: &Body<'tcx>, c_void_ptr: CVoidPtr<'tcx>, direction: CVoidCastDirection, - block: BasicBlock, bb_data: &BasicBlockData<'tcx>, ) { let mut inserted_places = HashSet::new();