From 5da10f49a201a63766b91240c0e30bd0971f01f4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 28 Jul 2020 17:52:55 -0400 Subject: [PATCH] doc: small fix --- src/core/CCVector.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. *)