This commit is contained in:
Simon Cruanes 2022-07-04 14:37:24 -04:00
parent 2b5b2a0e02
commit 856e73d2b2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -144,7 +144,7 @@ let resize_minimize_memory bv size =
let is_empty bv = let is_empty bv =
try try
for i = 0 to Bytes.length bv.b - 1 do for i = 0 to Bytes.length bv.b - 1 do
if get_ bv.b i <> 1 then raise_notrace Exit if get_ bv.b i <> 0 then raise_notrace Exit
done; done;
true true
with Exit -> false with Exit -> false