X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaInit.mli;h=ac0dc6a7576112cee438defbe3fff28effc29545;hb=9ff984b29ac963eef2f79521ce9dd7cbb9ae2c59;hp=272657cc3d83a8f157bda88caef4036152899165;hpb=15d6dc1249038e9235bb0f776f2c5ae0b37f17f1;p=helm.git

diff --git a/matita/matitaInit.mli b/matita/matitaInit.mli
index 272657cc3..ac0dc6a75 100644
--- a/matita/matitaInit.mli
+++ b/matita/matitaInit.mli
@@ -28,6 +28,7 @@ val initialize_all: unit -> unit
 
   (** {2 per-components initialization} *)
 val parse_cmdline_and_configuration_file: unit -> unit
+val initialize_environment: unit -> unit
 
   (** {2 Utilities} *)