X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitamake.ml;h=5a3ecf5ee8bff2cf0358f593a52280feb150b477;hb=28ac70d3f475442cda4ef30e0e9c0e6d012b2527;hp=e9efc3822b8c558ff3631be4d3f7507db876b1e5;hpb=b11d278a26840884692cdfb89e168081134d293f;p=helm.git

diff --git a/helm/matita/matitamake.ml b/helm/matita/matitamake.ml
index e9efc3822..5a3ecf5ee 100644
--- a/helm/matita/matitamake.ml
+++ b/helm/matita/matitamake.ml
@@ -26,7 +26,7 @@
 module MK = MatitamakeLib ;;
 
 let _ = 
-  Helm_registry.load_from BuildTimeConf.matita_conf;
+  MatitaInit.load_config_only ();
   MK.initialize ()
 ;;