X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatitadep.ml;h=e93dbad61ad379b4b1e671c36cd9f6cd092807af;hb=41be5e85a1103a5b14495bb487995a6a88e79c48;hp=c845954ed36776a99c3496628e6f853d8894f4a7;hpb=4dd2d3dc8e1dbb22d71c8fa741a20fb7d506930a;p=helm.git

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index c845954ed..e93dbad61 100644
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -35,10 +35,10 @@ let main () =
   let resolve alias current_buri =
     let buri = buri alias in
     if buri <> current_buri then Some buri else None in
-  let include_paths =
-   Helm_registry.get_list Helm_registry.string "matita.includes" in
   MatitaInit.load_configuration_file ();
   MatitaInit.parse_cmdline ();
+  let include_paths =
+   Helm_registry.get_list Helm_registry.string "matita.includes" in
   let basedir = Helm_registry.get "matita.basedir" in
   List.iter
    (fun ma_file ->