From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 21 Feb 2003 13:18:10 +0000 (+0000)
Subject: * removed debug message
X-Git-Tag: V_0_0_4_1~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=1727868b2ca175c69c7d75623a3dd0052591d327

* removed debug message
---

diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.cc b/helm/DEVEL/mathml_editor/src/TPushParser.cc
index a3fb97729..63206ea7d 100644
--- a/helm/DEVEL/mathml_editor/src/TPushParser.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushParser.cc
@@ -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();