diff --git a/src/core/CCVector.mli b/src/core/CCVector.mli index f799e956..add9ef40 100644 --- a/src/core/CCVector.mli +++ b/src/core/CCVector.mli @@ -238,7 +238,7 @@ val set : ('a, rw) t -> int -> 'a -> unit @raise Invalid_argument if bad index. *) val remove_and_shift : ('a, rw) t -> int -> unit -(** [remove v i] remove the [i-th] element from [v]. +(** [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. *)