X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.mli;h=79219f174be1a770350c4654efda6cf9c4a8ab27;hb=ab336f7c09d052c45a09dd49e9b75a39e8b57e5b;hp=a0d19b8b21f89bbfecf8d8f1d6d73f84d3fdef42;hpb=6187b40af194fb960d91653682a0eb2096f20f3b;p=helm.git

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index a0d19b8b2..79219f174 100644
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -42,7 +42,8 @@ val strip_trailing_blanks: string -> string
 
   (** Gdome.element of a MathML document whose rendering should be blank. Used
   * by cicBrowser to render "about:blank" document *)
-val empty_mathml: Gdome.element
+val empty_mathml: unit -> Gdome.document
+val empty_boxml: unit -> Gdome.document
 
 exception History_failure