From: Severine Jancek<severine.jancek@xxxxxxxxxxxxx> > >What is the ouput of /Developer/usr/bin/flex++ --version and that of > /usr/bin/flex++ --version ? B. > The ouput is the same : > flex++ 2.5.33 Hmmm, then I have no idea. You could try installing flex 2.5.35, but this is more of a desperate hope of mine that it could work then. B. -- You have received this mail because you are subscribed to the mira_talk mailing list. For information on how to subscribe or unsubscribe, please visit http://www.chevreux.org/mira_mailinglists.html