Huge reorganization of matita and ocaml.

[helm.git] / helm / matita / matitaInit.mli

diff --git a/helm/matita/matitaInit.mli b/helm/matita/matitaInit.mli
index e8050f9be379a0276945d356de6c204bb1c77bbe..9d86712990896e44111638a015ecc72825badd59 100644 (file)
--- a/helm/matita/matitaInit.mli
+++ b/helm/matita/matitaInit.mli
@@ -29,7 +29,6 @@ val initialize_all: unit -> unit
   (** {2 per-components initialization} *)
 val parse_cmdline: unit -> unit (** parse cmdline setting registry keys *)
 val load_configuration_file: unit -> unit
-val initialize_notation: unit -> unit
 
   (** {2 Utilities} *)