X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Flibrary%2FlibraryClean.ml;h=e59b42227388c433f50b8a5c7c2a95a688a07515;hb=09c63c35520ceea6f0caaa0be856a3eaff46bb88;hp=1f92b5868d7102aa13e152aac3cbbc49fa211034;hpb=cd5e575ed60527edac0a99196bd8d20f06841254;p=helm.git

diff --git a/matita/components/library/libraryClean.ml b/matita/components/library/libraryClean.ml
index 1f92b5868..e59b42227 100644
--- a/matita/components/library/libraryClean.ml
+++ b/matita/components/library/libraryClean.ml
@@ -32,7 +32,7 @@ let debug_prerr = if debug then prerr_endline else ignore
 
 module HGT = Http_getter_types;;
 module HG = Http_getter;;
-module UM = UriManager;;
+(*module UM = UriManager;;*)
 
 let decompile = ref (fun ~baseuri -> assert false);;
 let set_decompile_cb f = decompile := f;;
@@ -220,7 +220,7 @@ let moo_root_dir = lazy (
 *)
 
 let rec close_db cache_of_processed_baseuri uris next =
-  prerr_endline "CLOSE_DB "; uris (* MATITA 1.0 *)
+  uris (* MATITA 1.0 *)
 ;;
 
 let clean_baseuris ?(verbose=true) buris =
@@ -231,10 +231,10 @@ let clean_baseuris ?(verbose=true) buris =
     List.iter debug_prerr buris; 
   let l = close_db cache_of_processed_baseuri [] buris in
   let l = HExtlib.list_uniq (List.fast_sort Pervasives.compare l) in
-  let l = List.map UriManager.uri_of_string l in
+  let l = List.map NUri.uri_of_string l in
   debug_prerr "clean_baseuri will remove:";
   if debug then
-    List.iter (fun u -> debug_prerr (UriManager.string_of_uri u)) l; 
+    List.iter (fun u -> debug_prerr (NUri.string_of_uri u)) l; 
   List.iter
    (fun baseuri ->
      !decompile ~baseuri;
@@ -247,4 +247,4 @@ let clean_baseuris ?(verbose=true) buris =
        HExtlib.rmdir_descend (Filename.chop_extension lexiconfile)
      with Http_getter_types.Key_not_found _ -> ())
    (HExtlib.list_uniq (List.fast_sort Pervasives.compare
-     (List.map (UriManager.buri_of_uri) l @ buris)))
+     (List.map NUri.baseuri_of_uri l @ buris)))