On Apr 13, 2023, at 10:57 AM, Bruno Haible <br...@clisp.org> wrote: >> IMHO, this is a problem with Flex, not GnuLib. Flex should have a mechanism >> to insert code at the top of the generated lexer like Bison’s "%code top” >> directive. > > As far as I know, it already has. > https://westes.github.io/flex/manual/Definitions-Section.html
I totally missed that. Sorry. - Paul