https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70704
--- Comment #17 from David Edelsohn <dje at gcc dot gnu.org> --- Yes, WS1 is Flex 2.5.37. I will upload both. There are many differences.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70704
--- Comment #17 from David Edelsohn <dje at gcc dot gnu.org> --- Yes, WS1 is Flex 2.5.37. I will upload both. There are many differences.