X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitadep.ml;h=c1ada6aea79dc5117ffb52965e015bf30aff6bec;hb=f28480139ee72d092a9405619c3bdf6d4ff155ee;hp=48011c0b5300cde4643667d7be8bca91e9352b5b;hpb=da85bc7d139566aa819c8e922d01b2e476ff6990;p=helm.git

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index 48011c0b5..c1ada6aea 100644
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -37,8 +37,9 @@ let main () =
   let resolve alias current_buri =
     let buri = buri alias in
     if buri <> current_buri then Some buri else None in
-  MatitaInit.load_configuration_file ();
+  MatitaInit.fill_registry ();
   MatitaInit.parse_cmdline ();
+  MatitaInit.load_configuration_file ();
   let include_paths =
    Helm_registry.get_list Helm_registry.string "matita.includes" in
   let basedir = Helm_registry.get "matita.basedir" in