]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/extractor/extractor.ml
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / extractor / extractor.ml
index c1ade99ea774dcf20311c7c3c86d48501643455b..418d5ff7cd8b7c6e32f323942aa884bee48ce129 100644 (file)
@@ -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"
 ;;