]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/library/libraryClean.ml
1. matitaEngine splitted into disambiguation (now in grafite_parser) and
[helm.git] / helm / ocaml / library / libraryClean.ml
index f2ac571995c8552d18fa6eeef474153b081cbca0..a7a3d7345886027bec83229911b6a4928aa84ac0 100644 (file)
@@ -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;