X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FLPushLexer.hh;h=db6dfb1bc69528d995075395c052c29fa1c99d41;hb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;hp=03ba29c0284b475353853a4494d97ee3b4f816e2;hpb=8d15b9f68470945a45ce96dbc1c892742c85cb9c;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/LPushLexer.hh b/helm/DEVEL/mathml_editor/src/LPushLexer.hh
index 03ba29c02..db6dfb1bc 100644
--- a/helm/DEVEL/mathml_editor/src/LPushLexer.hh
+++ b/helm/DEVEL/mathml_editor/src/LPushLexer.hh
@@ -13,7 +13,7 @@ public:
   virtual ~LPushLexer() { };
 
   virtual void push(char);
-  virtual void drop(bool = false);
+  virtual void drop(bool);
   virtual void reset(void);
   virtual void flush(void);
   virtual bool error(void) const;
@@ -24,9 +24,9 @@ private:
       ACCEPT,
       ESCAPE,
       MACRO,
-      IGNORE_SPACE,
       PARAMETER,
-      LONG_IDENTIFIER
+      IDENTIFIER,
+      NUMBER
     };
 
   void transaction(char, State);