From 5cb273eecb86e11d9dbee9d190d5b08d9cfd254a Mon Sep 17 00:00:00 2001 From: Daniel Hofstetter Date: Thu, 3 Apr 2025 15:17:55 +0200 Subject: [PATCH] clippy: fix error from manual_div_ceil lint --- src/find/matchers/printf.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/find/matchers/printf.rs b/src/find/matchers/printf.rs index 70c6fb0..c7b6e19 100644 --- a/src/find/matchers/printf.rs +++ b/src/find/matchers/printf.rs @@ -401,7 +401,7 @@ fn format_directive<'entry>( // even though it's arguably not 100% correct. if *large_blocks { // Ceiling divide in half. - (blocks + 1) / 2 + blocks.div_ceil(2) } else { blocks }