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

diff --git a/helm/software/matita/matitaInit.mli b/helm/software/matita/matitaInit.mli
index 272657cc3..ac0dc6a75 100644
--- a/helm/software/matita/matitaInit.mli
+++ b/helm/software/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} *)