From 36eb87db21089d7d89478c469205aaab493b7cd1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 4 Jul 2022 22:09:14 -0400 Subject: [PATCH] fix(BV): clear bits properly --- src/data/CCBV.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/CCBV.ml b/src/data/CCBV.ml index 5b650f60..08b71c5f 100644 --- a/src/data/CCBV.ml +++ b/src/data/CCBV.ml @@ -161,7 +161,7 @@ let shrink_ bv size = if size < bv.size then ( let desired = bytes_length_of_size size in let current = Bytes.length bv.b in - if desired = current then clear_bits_above_ bv size; + clear_bits_above_ bv size; really_resize_ bv ~desired ~current size )