X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=44b09b5aea9da662033158ceea485970767ef158;hb=74b3e5dbe1eebb48334494e9683838be183bdca0;hp=26f4b40ffe421a1867b85e6358137ea5730ae187;hpb=d038f5c76e20bfd10f4a1bbb379207deeafd8781;p=helm.git

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 26f4b40ff..44b09b5ae 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -112,7 +112,7 @@ let initialize_makelib init_status =
     init_status
 
 let initialize_environment init_status = 
-  wants [ConfigurationFile] init_status;
+  wants [CmdLine] init_status;
   if not (already_configured [Getter;Environment] init_status) then
     begin
       Http_getter.init ();
@@ -331,6 +331,8 @@ let initialize_all () =
 let parse_cmdline_and_configuration_file () =
   status := List.fold_left (fun s f -> f s) !status conf_components
 
-;;
+let initialize_environment () =
+  status := initialize_environment !status
 
-Inversion_principle.init ()
+let _ =
+  Inversion_principle.init ()