X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTPushParser.hh;h=a94402fbfdb2a420606e429f7602641420b05f23;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=4192f3831b7578e7b0e4d59627c20cda326f140b;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.hh b/helm/DEVEL/mathml_editor/src/TPushParser.hh
index 4192f3831..a94402fbf 100644
--- a/helm/DEVEL/mathml_editor/src/TPushParser.hh
+++ b/helm/DEVEL/mathml_editor/src/TPushParser.hh
@@ -66,6 +66,7 @@ private:
   bool do_parameter(const std::string&);
   bool do_superscript(void);
   bool do_subscript(void);
+  bool do_ignorablespace(const std::string&);
   bool do_space(const std::string&);
   bool do_letter(const std::string&);
   bool do_digit(const std::string&);
@@ -73,7 +74,6 @@ private:
   bool do_active(const std::string&);
   bool do_comment(void);
   bool do_control(const std::string&);
-
   
   std::string drop_prev_token(bool);
   std::string drop_prev_script(bool);