X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2FmatitaInit.ml;h=44b09b5aea9da662033158ceea485970767ef158;hb=d80bd0bc5253538759bfb13c98e86d07592a9359;hp=cf821c1673b20fe5b7ab073af17df7d05c3a3778;hpb=a285678ea5f9c46ddadd322d297bb0eda6c17fb6;p=helm.git

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index cf821c167..44b09b5ae 100644
--- a/matita/matitaInit.ml
+++ b/matita/matitaInit.ml
@@ -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 ()