X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fextlib%2FhExtlib.ml;h=78ac69126e19bc857feb8426b97ce24438142c0b;hb=070bda8035e9ae0d3bfe69110d184bb82183cf46;hp=6b2b68d68c8c75b8b2c1beaf09e43c5afa382c3c;hpb=cb4b0c887ba703b7949656d5b72b5f94756a77bd;p=helm.git

diff --git a/matitaB/components/extlib/hExtlib.ml b/matitaB/components/extlib/hExtlib.ml
index 6b2b68d68..78ac69126 100644
--- a/matitaB/components/extlib/hExtlib.ml
+++ b/matitaB/components/extlib/hExtlib.ml
@@ -224,6 +224,7 @@ let sharing_map_acc f acc l =
   !final_acc, if !unchanged then l else l1
 ;;
 
+(* expects the list to be sorted *)
 let rec list_uniq ?(eq=(=)) = function 
   | [] -> []
   | h::[] -> [h]