]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/extractor/extractor_manager.ml
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / extractor / extractor_manager.ml
index ae541f458ac5f9a1daaa5db25be6589296a25a33..05393b63e24980d97c31e2c73a9adcea5659c6ea 100644 (file)
@@ -172,7 +172,6 @@ let main () =
       Helm_registry.load_from "extractor.conf.xml";
       Http_getter.init ();
       print_endline "Updating the getter....";
-      Http_getter.update (); 
       let base = (Helm_registry.get "tmp.dir") ^ "/maps" in
       let formats i = 
         (Helm_registry.get "tmp.dir") ^ "/"^(string_of_int i)^"/maps"