X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaInit.mli;h=9d86712990896e44111638a015ecc72825badd59;hb=9ffc433e8913660620b1dd4ce4c22db1e42c7562;hp=e8050f9be379a0276945d356de6c204bb1c77bbe;hpb=afe21e48aefe81db3ca150fac9a5bbfbc893fa59;p=helm.git

diff --git a/helm/matita/matitaInit.mli b/helm/matita/matitaInit.mli
index e8050f9be..9d8671299 100644
--- 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} *)