From 3414e0d6fb56f0f24552a57cf788a7bed080f0cb Mon Sep 17 00:00:00 2001 From: Chris Hennick Date: Sat, 27 May 2023 16:59:07 -0700 Subject: [PATCH] Bug fix --- src/write.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/write.rs b/src/write.rs index 575135d3..8555658a 100644 --- a/src/write.rs +++ b/src/write.rs @@ -174,7 +174,7 @@ impl arbitrary::Arbitrary<'_> for FileOptions { } } else if options.compression_method != Stored { options.compression_level = Some(u.int_in_range(0..=10)?); - } else if bool::arbitrary(u) { + } else if bool::arbitrary(u)? { options.compression_level = Some(1); } u.arbitrary_loop(Some(0), Some((u16::MAX / 4) as u32), |u| {