From 3b10a14c93d59a942e82f606a3fd44e6b2cd6b54 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 6 Jun 2023 23:12:34 -0400
Subject: [PATCH] remove dead comment

---
 src/core/CCVec.ml | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/src/core/CCVec.ml b/src/core/CCVec.ml
index e70dac66..b92e6d4b 100644
--- a/src/core/CCVec.ml
+++ b/src/core/CCVec.ml
@@ -92,18 +92,6 @@ let clear_and_reset v =
   v.size <- 0;
   v.vec <- [||]
 
-(* TODO*)
-(*
-  let v = create() in
-  let a = Weak.create 1 in
-  push v ("hello"^"world");
-  Weak.set a 0 (Some (get v 0));
-  Gc.full_major(); Gc.compact();
-  assert_bool "is alive" (Weak.check a 0);
-  Gc.full_major(); Gc.compact();
-  assert_equal None (Weak.get a 0);
-*)
-
 let[@inline] is_empty v = v.size = 0
 
 let[@inline] push_unsafe_ v x =