fix clippy

2025-07-27 16:51:01 +00:00 · 2025-02-17 16:41:34 +01:00
parent 9505f15c85
commit 57b26f8441
2 changed files with 2 additions and 1 deletions
--- a/crates/milli/src/update/new/indexer/write.rs
+++ b/crates/milli/src/update/new/indexer/write.rs
@ -113,6 +113,7 @@ where
    Ok(())
 }

+#[allow(clippy::too_many_arguments)]
 pub(super) fn update_index(
    index: &Index,
    wtxn: &mut RwTxn<'_>,