]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushParser.cc
* removed debug message
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.cc
index a3fb9772996a11becbd03e578b62b6badac40ca2..63206ea7db3475300c2ef68b564cad6cbe5a393a 100644 (file)
@@ -29,7 +29,6 @@ TPushParser::init()
 void
 TPushParser::reset()
 {
-  cout << "passo di qui dentro pushparser " << factory << endl;
   nextId = 1;
   if (cursor.parent()) cursor.remove();
   doc.reset();