X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FhExtlib.mli;h=20e6c0192dcac84defb6613cb87ae31aca216c58;hb=1b70a1f66be53f76e475383e86d63c2b5c1fbcaa;hp=52e2fbf6078a9bf26bfbb3c4b56347b577fc7512;hpb=2b837ca9e298eb44eee95d9ca0e331c577785dcb;p=helm.git

diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli
index 52e2fbf60..20e6c0192 100644
--- a/helm/software/components/extlib/hExtlib.mli
+++ b/helm/software/components/extlib/hExtlib.mli
@@ -111,8 +111,7 @@ exception FailureAt of int
    * @returns two list, the first contains at least n elements, the second the
    * remaining ones
    * @raise Failure when List.length l < n *)
-(* FG: first argument: error msg *)
-val split_nth: string -> int -> 'a list -> 'a list * 'a list
+val split_nth: int -> 'a list -> 'a list * 'a list
 
  (** skip [n] [l] skips the first n elements of l *)
 val list_skip : int -> 'a list -> 'a list