From 939e0b96d0b8335b65734eb1747a05f6283491a9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 24 Sep 2013 17:22:03 +0200 Subject: [PATCH] bugfixes in BV (off by one...) --- BV.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/BV.ml b/BV.ml index 5e1f0480..9f9bd00f 100644 --- a/BV.ml +++ b/BV.ml @@ -105,21 +105,21 @@ let get bv i = let set bv i = let n = i / __width in if n >= Array.length bv.a - then resize bv n; + then resize bv (n+1); let i = i - n * __width in bv.a.(n) <- bv.a.(n) lor (1 lsl i) let reset bv i = let n = i / __width in if n >= Array.length bv.a - then resize bv n; + then resize bv (n+1); let i = i - n * __width in bv.a.(n) <- bv.a.(n) land (lnot (1 lsl i)) let flip bv i = let n = i / __width in if n >= Array.length bv.a - then resize bv n; + then resize bv (n+1); let i = i - n * __width in bv.a.(n) <- bv.a.(n) lxor (1 lsl i)