X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flibrary%2FlibraryClean.ml;h=a7a3d7345886027bec83229911b6a4928aa84ac0;hb=a58d25c192ff13ecee2cb92f07ee6f1cbe5219b5;hp=f2ac571995c8552d18fa6eeef474153b081cbca0;hpb=0ac236dda6f80f6dc86a7f12d8c88b25e64e3251;p=helm.git

diff --git a/helm/ocaml/library/libraryClean.ml b/helm/ocaml/library/libraryClean.ml
index f2ac57199..a7a3d7345 100644
--- a/helm/ocaml/library/libraryClean.ml
+++ b/helm/ocaml/library/libraryClean.ml
@@ -30,9 +30,7 @@ let debug_prerr = if debug then prerr_endline else ignore
 
 module HGT = Http_getter_types;;
 module HG = Http_getter;;
-module HGM = Http_getter_misc;;
 module UM = UriManager;;
-module TA = GrafiteAst;;
 
 let cache_of_processed_baseuri = Hashtbl.create 1024
 
@@ -194,7 +192,7 @@ let close_using_moos buris =
 
 let clean_baseuris ?(verbose=true) ~basedir buris =
   Hashtbl.clear cache_of_processed_baseuri;
-  let buris = List.map HGM.strip_trailing_slash buris in
+  let buris = List.map Http_getter_misc.strip_trailing_slash buris in
   debug_prerr "clean_baseuris called on:";
   if debug then
     List.iter debug_prerr buris;