chore: use saturating sub instead of simple sub

pull/24376/head
Marco Neumann 2021-07-06 16:41:36 +02:00
parent 677314f52f
commit f45679183c
1 changed files with 1 additions and 1 deletions

View File

@ -221,7 +221,7 @@ where
if row_count >= rows_left {
continue;
}
rows_left -= row_count;
rows_left = rows_left.saturating_sub(row_count);
to_compact.push(chunk);
}
_ => {}