X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTTokenizer.hh;h=54618c88b1e4c10120f31fc4cc159afacc47dd30;hb=7bea7bddf7ca13260f4d3965182dc4fb58d035e7;hp=d0a54bf2869ce16a268ceda0604b876e3f045b0b;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.hh b/helm/DEVEL/mathml_editor/src/TTokenizer.hh
index d0a54bf28..54618c88b 100644
--- a/helm/DEVEL/mathml_editor/src/TTokenizer.hh
+++ b/helm/DEVEL/mathml_editor/src/TTokenizer.hh
@@ -12,13 +12,13 @@
 class TTokenizer : private APushParser
 {
 public:
-  TTokenizer(void) { };
+  TTokenizer(class ALogger& l) : APushParser(l) { };
 
   std::vector<TToken> tokenize(const std::string&);
 
 private:
   virtual void push(const TToken&);
-  virtual void setCursor(const std::string&) { };
+  virtual void setCursorHint(const std::string&) { };
 
   std::list<TToken> tokens;
 };