From 8ff253f18de08c06974855be18127b33cf50077b Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Sat, 22 May 2021 22:09:24 +0200
Subject: [PATCH] chore(CCBV): clean comments

---
 src/data/CCBV.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/data/CCBV.ml b/src/data/CCBV.ml
index 3b8142b3..8f7b478f 100644
--- a/src/data/CCBV.ml
+++ b/src/data/CCBV.ml
@@ -1,9 +1,6 @@
 
 (** {2 Imperative Bitvectors} *)
 
-(* TODO: move to [bytes] and replace all [mod] and [/] with bitshifts
-   because width_=8 *)
-
 (*$inject
   let ppli = CCFormat.(Dump.list int)
 *)
@@ -154,7 +151,7 @@ let resize bv size =
 let is_empty bv =
   try
     for i = 0 to Bytes.length bv.b - 1 do
-      if get_ bv.b i <> 0 then raise Exit       (* MSB of last element are all 0 *)
+      if get_ bv.b i <> 0 then raise Exit
     done;
     true
   with Exit ->