all initialization code is now in the new matitaInit.ml module.

[helm.git] / helm / matita / matitaclean.ml

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index f42973f90c1963758bdff427e7fbc43302b203bc..1a11f5fa1667de021de59697b991137e93ee4df3 100644 (file)
--- 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