Skip to content
  • Alexandre Duret-Lutz's avatar
    Modernize Bison parsers. · bbd526ac
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlparse.yy, src/tgbaparse/tgbaparse.yy,
    src/evtgbaparse/evtgbaparse.yy, src/eltlparse/eltlparse.yy: Use
    token types for %destructor and %printer.  Remove the yylex hack,
    since %name-prefix is now honored by Bison.  Also remove the
    useless <token> type.  Suggested by Akim Demaille.
    bbd526ac