X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flibrary%2FlibraryClean.ml;h=8d78189920c8db5f6c68e9449b476aed3c10b71a;hb=79a5e6b1d8cdb73611fb57507ed9a71f7b75d014;hp=e59b42227388c433f50b8a5c7c2a95a688a07515;hpb=70aa6dc959dc1d49f751c183367c3b73393c938b;p=helm.git

diff --git a/matita/components/library/libraryClean.ml b/matita/components/library/libraryClean.ml
index e59b42227..8d7818992 100644
--- a/matita/components/library/libraryClean.ml
+++ b/matita/components/library/libraryClean.ml
@@ -224,6 +224,7 @@ let rec close_db cache_of_processed_baseuri uris next =
 ;;
 
 let clean_baseuris ?(verbose=true) buris =
+ (* MATITA 1.0 *) () (*
   let cache_of_processed_baseuri = Hashtbl.create 1024 in
   let buris = List.map Http_getter_misc.strip_trailing_slash buris in
   debug_prerr "clean_baseuris called on:";
@@ -248,3 +249,4 @@ let clean_baseuris ?(verbose=true) buris =
      with Http_getter_types.Key_not_found _ -> ())
    (HExtlib.list_uniq (List.fast_sort Pervasives.compare
      (List.map NUri.baseuri_of_uri l @ buris)))
+*)