tagging rc-1

[helm.git] / matita / matitaInit.mli

diff --git a/matita/matitaInit.mli b/matita/matitaInit.mli
index 272657cc3d83a8f157bda88caef4036152899165..ac0dc6a7576112cee438defbe3fff28effc29545 100644 (file)
--- 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} *)