X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Fextractor%2Fextractor.ml;h=418d5ff7cd8b7c6e32f323942aa884bee48ce129;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=8511c37d16ef55e625d6f726165badd6eb7f30cb;hpb=8e8dcd3aa99386578b4002a09696884f61941306;p=helm.git

diff --git a/helm/ocaml/metadata/extractor/extractor.ml b/helm/ocaml/metadata/extractor/extractor.ml
index 8511c37d1..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") ()