]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TDocument.hh
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / TDocument.hh
index 783fce655a4509fb78de0c2862da3b788ba979bb..02d1dc38dd7c794531166b223e234b3001826f15 100644 (file)
@@ -43,6 +43,7 @@ public:
   TNode createI(const std::string& text, unsigned id = 0) const { return createT("i", text, id); };
   TNode createN(const std::string& text, unsigned id = 0) const { return createT("n", text, id); };
   TNode createO(const std::string& text, unsigned id = 0) const { return createT("o", text, id); };
+  TNode createS(unsigned id = 0) const { return createT("s", "", id); };
 
   DOM::Document document(void) const { return doc; };