X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FAPushLexer.hh;h=4a2940b4c3eb4011bcfed0a355982a7901e62eaa;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0259ed603d1bc73ab345142f33904bca06e975d3;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/APushLexer.hh b/helm/DEVEL/mathml_editor/src/APushLexer.hh
index 0259ed603..4a2940b4c 100644
--- a/helm/DEVEL/mathml_editor/src/APushLexer.hh
+++ b/helm/DEVEL/mathml_editor/src/APushLexer.hh
@@ -34,6 +34,7 @@ public:
 
   virtual void push(char) = 0;
   virtual void drop(bool) = 0;
+  virtual bool complete(void) = 0;
   virtual void reset(void) = 0;
   virtual bool error(void) const = 0;