From d4e2daeab5b5820d6696b3f30e28ff4707e98d93 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 6 Jun 2023 21:57:29 -0400 Subject: [PATCH] remove dead code --- src/core/CCVec.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/core/CCVec.ml b/src/core/CCVec.ml index d9616dca..96dc1ae3 100644 --- a/src/core/CCVec.ml +++ b/src/core/CCVec.ml @@ -17,8 +17,6 @@ let fill_with_junk_ (a : _ array) i len : unit = else Array.fill (as_obj_arr a) i len (Obj.repr ()) -let freeze v = { size = v.size; vec = v.vec } -let freeze_copy v = { size = v.size; vec = Array.sub v.vec 0 v.size } let create () = { size = 0; vec = [||] } let create_with ?(capacity = 128) x =