]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TTokenizer.hh
* this is a large commit
[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.hh
index 54618c88b1e4c10120f31fc4cc159afacc47dd30..62d08241c13d6af833440a7c97d203dc3240e0d7 100644 (file)
@@ -18,6 +18,7 @@ public:
 
 private:
   virtual void push(const TToken&);
+  virtual std::string drop(void);
   virtual void setCursorHint(const std::string&) { };
 
   std::list<TToken> tokens;