]> matita.cs.unibo.it Git - helm.git/commitdiff
* removed debug message
authorLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:18:10 +0000 (13:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:18:10 +0000 (13:18 +0000)
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();