From 5da34acfe73a49b383294012ee7432a8b6fbe43f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 30 Sep 2008 13:28:49 +0000 Subject: [PATCH] ... --- helm/software/components/extlib/hExtlib.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli index a92389fea..c80d2e4f8 100644 --- a/helm/software/components/extlib/hExtlib.mli +++ b/helm/software/components/extlib/hExtlib.mli @@ -104,7 +104,7 @@ val list_forall_default3: ('a -> 'b -> 'c -> bool) -> 'a list -> 'b list -> 'c - (** split_nth n l * @returns two list, the first contains at least n elements, the second the - * remaining one + * remaining ones * @raise Failure when List.length l < n *) val split_nth: int -> 'a list -> 'a list * 'a list -- 2.39.2