fix(BV): clear bits properly

c-cube · c-cube · commit 36eb87db2108 · 2022-07-04T22:09:14.000-04:00
diff --git 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
   )
 

Original file line number	Diff line number	Diff line change
`@@ -161,7 +161,7 @@ let shrink_ bv size =`
`161`	`161`	`if size < bv.size then (`
`162`	`162`	`let desired = bytes_length_of_size size in`
`163`	`163`	`let current = Bytes.length bv.b in`
`164`		`- if desired = current then clear_bits_above_ bv size;`
	`164`	`+ clear_bits_above_ bv size;`
`165`	`165`	`really_resize_ bv ~desired ~current size`
`166`	`166`	`)`
`167`	`167`