X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitaclean.ml;h=1a11f5fa1667de021de59697b991137e93ee4df3;hb=73e63e535940a068e660d3688a3c8ebfa1930561;hp=f42973f90c1963758bdff427e7fbc43302b203bc;hpb=639131d311fd0f111e09feca7b567b28d21e873f;p=helm.git

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index f42973f90..1a11f5fa1 100644
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -26,12 +26,7 @@
 module UM = UriManager;;
 module TA = GrafiteAst;;
 
-let _ =
-  Helm_registry.load_from BuildTimeConf.matita_conf;
-  CicNotation.load_notation BuildTimeConf.core_notation_script;
-  Http_getter.init ();
-  MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
-  MatitaDb.create_owner_environment ()
+let _ = MatitaInit.initialize_all ()
 
 let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove