From 587e4453088eb9bfb43ddea75a6f1e7314bd1a57 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 30 Oct 2020 13:06:07 -0400 Subject: [PATCH] doc: add missing @since --- src/core/CCVector.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/core/CCVector.mli b/src/core/CCVector.mli index 2334077c..adfc7b65 100644 --- a/src/core/CCVector.mli +++ b/src/core/CCVector.mli @@ -241,7 +241,8 @@ val remove_and_shift : ('a, rw) t -> int -> unit (** [remove_and_shift v i] remove the [i-th] element from [v]. Move elements that are after the [i-th] in [v]. Preserve the order of the elements in [v]. - See {!remove_unordered} for constant time function. *) + See {!remove_unordered} for constant time function. + @since 3.0 *) val remove_unordered : ('a, rw) t -> int -> unit (** [remove_unordered v i] remove the [i-th] element from [v].