]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushLexer.hh
Now it's possible to insert and delete control sequence with arguments
[helm.git] / helm / DEVEL / mathml_editor / src / TPushLexer.hh
index ff61561ec174e4d33c96bf16261caae5c20d02db..6fd212a3de319e19f102f4f5b13722a0cf2a0e23 100644 (file)
@@ -14,6 +14,7 @@ public:
 
   virtual void push(char);
   virtual void reset(void);
+  virtual void flush(void);
   virtual bool error(void) const;
 
 private: