X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_storage.ml;h=be5cad2a9a579acee141a498546fa860e6c18f83;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=4ff552a4bf77ceea7f44520bd9a5b353028c16f0;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/components/getter/http_getter_storage.ml b/matita/components/getter/http_getter_storage.ml
index 4ff552a4b..be5cad2a9 100644
--- a/matita/components/getter/http_getter_storage.ml
+++ b/matita/components/getter/http_getter_storage.ml
@@ -70,7 +70,7 @@ let normalize_root uri =  (* add trailing slash to roots *)
   with Invalid_argument _ -> uri
 
 let remove_duplicates l =
-  Http_getter_misc.list_uniq (List.stable_sort Pervasives.compare l)
+  Http_getter_misc.list_uniq (List.stable_sort Stdlib.compare l)
 
 let has_rdonly l =  List.exists ((=) `Read_only) l
 let has_legacy l =  List.exists ((=) `Legacy) l