]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/dom.hh
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / src / dom.hh
index f2c42dba04883ca11b8600abc590868aed164175..a2058302efdca768eb464e33eab22cfa6994995c 100644 (file)
@@ -3,6 +3,7 @@
 #define __dom_hh__
 
 #include <GdomeSmartDOM.hh>
+#include <GdomeSmartDOMXSLT.hh>
 
 namespace DOM = GdomeSmartDOM;