>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 -- 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