remove dead code

This commit is contained in:
Simon Cruanes 2023-06-06 21:57:29 -04:00
parent 8d5b012111
commit d4e2daeab5
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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 =