]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/dom.hh
* this is a large commit
[helm.git] / helm / DEVEL / mathml_editor / src / dom.hh
index a2058302efdca768eb464e33eab22cfa6994995c..f31ecffb20cc1a569279f863125df7be6a4db93b 100644 (file)
@@ -6,6 +6,7 @@
 #include <GdomeSmartDOMXSLT.hh>
 
 namespace DOM = GdomeSmartDOM;
+namespace DOMX = GdomeSmartDOMExt;
 
 typedef DOM::Char32     TChar;
 typedef DOM::UCS4String TString;