ocaml 3.09 transition

[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.hh

diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.hh b/helm/DEVEL/mathml_editor/src/TPushParser.hh
index 4192f3831b7578e7b0e4d59627c20cda326f140b..a94402fbfdb2a420606e429f7602641420b05f23 100644 (file)
--- 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);