X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Fextractor%2Fextractor.ml;h=418d5ff7cd8b7c6e32f323942aa884bee48ce129;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=c1ade99ea774dcf20311c7c3c86d48501643455b;hpb=d90d1c964b365ece207f27d41f26e87a18719d59;p=helm.git

diff --git a/helm/ocaml/metadata/extractor/extractor.ml b/helm/ocaml/metadata/extractor/extractor.ml
index c1ade99ea..418d5ff7c 100644
--- a/helm/ocaml/metadata/extractor/extractor.ml
+++ b/helm/ocaml/metadata/extractor/extractor.ml
@@ -32,7 +32,7 @@ let main () =
   Helm_registry.set "tmp.dir" path;
   Http_getter.init ();
   let dbd =
-    Mysql.quick_connect 
+    HMysql.quick_connect 
       ~host:(Helm_registry.get "db.host") 
       ~user:(Helm_registry.get "db.user") 
       ~database:(Helm_registry.get "db.database") ()
@@ -68,7 +68,8 @@ let main () =
      (Unix.getpid ()) !i len perc short;
     flush stdout;
     let uri = UriManager.uri_of_string u in
-    MetadataDb.index_obj ~dbd ~uri)
+    MetadataDb.index_obj ~dbd ~uri;
+    CicEnvironment.empty ())
   uris;
   print_string "END "; Unix.system "date"
 ;;