X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmisc.ml;h=ec983d10641b180742ada6c90a9842ba98c80db0;hb=eac74259f5a0aaa8056791876284c897a6827c24;hp=98f680d8dbdf12060531239def535d6bc3aca656;hpb=60c3f28ddca99fb1d7c364449e4841ef70208025;p=helm.git

diff --git a/helm/ocaml/cic_transformations/misc.ml b/helm/ocaml/cic_transformations/misc.ml
index 98f680d8d..ec983d106 100644
--- a/helm/ocaml/cic_transformations/misc.ml
+++ b/helm/ocaml/cic_transformations/misc.ml
@@ -36,6 +36,7 @@
 let domImpl = Gdome.domImplementation ()
 let helm_ns = Gdome.domString "http://www.cs.unibo.it/helm"
 let xlink_ns = Gdome.domString "http://www.w3.org/1999/xlink"
+let mathml_ns = Gdome.domString "http://www.w3.org/1998/Math/MathML"
 
   (* TODO BRRRRR .... *)
   (** strip first 4 line of a string, used to strip xml declaration and doctype