X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaMisc.mli;h=1f72dbddd4332da4bbea16534333e22985501ea3;hb=e427c64ca108ee583f7faf05ea4d1b95512da40f;hp=0c2063095d7dc9ab29a7fb0d360081cc1955c0e7;hpb=d7c24dbca4f5e2baef606669db70cc640c02d38d;p=helm.git

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index 0c2063095..1f72dbddd 100644
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -56,8 +56,6 @@ val strip_trailing_slash: string -> string
 val normalize_dir: string -> string (** add trailing "/" if missing *)
 val strip_suffix: suffix:string -> string -> string
 
-val list_uniq: 'a list -> 'a list (* uniq unix filter on lists *)
-
   (** @return tl tail of a list starting at a given element
    * @param eq equality to be used, defaults to physical equality (==)
    * @raise Not_found *)