X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2Feditor.cc;h=6f9175f949d1da8c76c4be8660347dc2c7d2482b;hb=d6cb4446b6c5653dcdfb555959e388ef1c4c6411;hp=00aa28eb98c04654e6c3c3738c4015331b4f5506;hpb=98e5817ce4fa424fb3181d90d327935c1b100ec4;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/test/editor.cc b/helm/DEVEL/mathml_editor/test/editor.cc
index 00aa28eb9..6f9175f94 100644
--- a/helm/DEVEL/mathml_editor/test/editor.cc
+++ b/helm/DEVEL/mathml_editor/test/editor.cc
@@ -26,9 +26,6 @@
 #include "dom.hh"
 #include "TPushParser.hh"
 
-#include "LPushLexer.hh"
-
-#include "TPushLexer.hh"
 #include "ILPushLexer.hh"
 #include "TDictionary.hh"
 #include "CLoggerConsole.hh"
@@ -38,8 +35,6 @@
 
 #include "guiGTK.h"
 
-typedef ILPushLexer MyPushLexer;
-
 extern void *parseMathMLFile(char *);
 
 struct Context
@@ -47,7 +42,7 @@ struct Context
   /*
   Context(const std::string& s, TPushLexer& l, TPushParser& p) : buffer(s), i(0), lexer(l), parser(p) { };
   */
-  Context(const std::string& s, MyPushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts) 
+  Context(const std::string& s, APushLexer& l, TPushParser& p, DOMX::XSLTStylesheet& ts) 
     : buffer(s), i(0), lexer(l), parser(p), texStyle(ts) { };
 
   void send(void)
@@ -57,8 +52,7 @@ struct Context
 
   std::string buffer;
   unsigned i;
-  //TPushLexer& lexer;
-  MyPushLexer& lexer;
+  APushLexer& lexer;
   TPushParser& parser;
   DOMX::XSLTStylesheet& texStyle;
 };
@@ -170,7 +164,7 @@ main(int argc, char* argv[])
 
   CMathMLFactoryXSLT factory(logger, mmlStyle);
   TPushParser parser(logger, factory, dictionary);
-  MyPushLexer lexer(logger, parser, dictionary);
+  ILPushLexer lexer(logger, parser, dictionary);
 
 #if 0
   lexer.push('$');