X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.ml;h=73fdd4c54e2ef6a2c5bcc605ea593410f64549fa;hb=bbe7741f3bbaacb93f2876c018dace82f5e929b8;hp=a35a57ed644943103e5c5a9e22806abc28445df9;hpb=ccca8f161bcbe57b58e651656a4a825c5227abf2;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index a35a57ed6..73fdd4c54 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -58,11 +58,11 @@ let strip_trailing_blanks =
   fun s -> Pcre.replace ~rex s
 
 let empty_mathml () =
-  Misc.domImpl#createDocument ~namespaceURI:(Some Misc.mathml_ns)
+  DomMisc.domImpl#createDocument ~namespaceURI:(Some DomMisc.mathml_ns)
     ~qualifiedName:(Gdome.domString "math") ~doctype:None
 
 let empty_boxml () =
-  Misc.domImpl#createDocument ~namespaceURI:(Some Misc.boxml_ns) 
+  DomMisc.domImpl#createDocument ~namespaceURI:(Some DomMisc.boxml_ns) 
     ~qualifiedName:(Gdome.domString "box") ~doctype:None
 
 exception History_failure