]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushParser.cc
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.cc
index ea82cf379251858d2f9536d56369d98fe513701b..20bb897b765bf0e8d5d532a1e5eeb221765820b1 100644 (file)
@@ -254,7 +254,7 @@ TPushParser::do_space(const std::string&)
 void
 TPushParser::do_letter(const std::string& s)
 {
-  TNode parent = cursor.parent();
+  //TNode parent = cursor.parent();
   TNode elem = doc.createI(s, nextId++);
   cursor.replace(elem);
   advance(elem);