X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.ml;h=094f965e0ae20d02aff1ae0130d82899b4d729a3;hb=ab336f7c09d052c45a09dd49e9b75a39e8b57e5b;hp=c9d8ae4a6dbc313a2ede0b2110468afaec6c044d;hpb=77784fbeb858e3cbec8a0ad7cb03f271089b09a3;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index c9d8ae4a6..094f965e0 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -54,7 +54,7 @@ let empty_mathml () =
     ~qualifiedName:(Gdome.domString "math") ~doctype:None
 
 let empty_boxml () =
-  Misc.domImpl#createDocument ~namespaceURI:(Some Misc.boxml_ns)
+  Misc.domImpl#createDocument ~namespaceURI:(Some Misc.boxml_ns) 
     ~qualifiedName:(Gdome.domString "box") ~doctype:None
 
 exception History_failure