From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 30 Sep 2008 13:28:49 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4720
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5da34acfe73a49b383294012ee7432a8b6fbe43f;p=helm.git

...
---

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