X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitamake.ml;h=ad4368738c4e160277c71cd217c987f4b3680b26;hb=1776f357e1a69fa1133956660b65d7bafdfe5c25;hp=09bc6c70b78735d4bfd81d60f0f2ac6adb8de796;hpb=5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182;p=helm.git

diff --git a/matita/matitamake.ml b/matita/matitamake.ml
index 09bc6c70b..ad4368738 100644
--- a/matita/matitamake.ml
+++ b/matita/matitamake.ml
@@ -28,9 +28,7 @@
 module MK = MatitamakeLib ;;
 
 let main () =
-  MatitaInit.fill_registry ();
-  MatitaInit.parse_cmdline ();
-  MatitaInit.load_configuration_file ();
+  MatitaInit.parse_cmdline_and_configuration_file ();
   MK.initialize ();
   let usage = ref (fun () -> ()) in
   let dev_of_name name =