diff options
Diffstat (limited to 'stdlib/hashtbl.ml')
| -rw-r--r-- | stdlib/hashtbl.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml index de0bee09b1..d39fd28a23 100644 --- a/stdlib/hashtbl.ml +++ b/stdlib/hashtbl.ml @@ -70,8 +70,6 @@ let add h key info = h.data.(i) <- bucket; if bucket_too_long h.max_len bucket then resize hash h -let add' h ~key ~data = add h key data - let remove h key = let rec remove_bucket = function Empty -> @@ -159,7 +157,6 @@ module type S = val create: int -> 'a t val clear: 'a t -> unit val add: 'a t -> key -> 'a -> unit - val add': 'a t -> key:key -> data:'a -> unit val remove: 'a t -> key -> unit val find: 'a t -> key -> 'a val find_all: 'a t -> key -> 'a list @@ -182,8 +179,6 @@ module Make(H: HashedType): (S with type key = H.t) = h.data.(i) <- bucket; if bucket_too_long h.max_len bucket then resize H.hash h - let add' h ~key ~data = add h key data - let remove h key = let rec remove_bucket = function Empty -> |