diff options
Diffstat (limited to 'stdlib/hashtbl.mli')
| -rw-r--r-- | stdlib/hashtbl.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/hashtbl.mli b/stdlib/hashtbl.mli index bb75751fe6..5424df40d1 100644 --- a/stdlib/hashtbl.mli +++ b/stdlib/hashtbl.mli @@ -68,7 +68,8 @@ val clear : ('a, 'b) t -> unit val reset : ('a, 'b) t -> unit (** Empty a hash table and shrink the size of the bucket table - to its initial size. *) + to its initial size. + @since 4.00.0 *) val copy : ('a, 'b) t -> ('a, 'b) t (** Return a copy of the given hashtable. *) |