Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/evtgbatest/evtgbaparse.yy, src/evtgbaparse/evtgbascan.ll, · c0552123
    Alexandre Duret-Lutz authored
    src/evtgbaparse/parsedecl.hh, src/evtgbaparse/public.hh,
    src/ltlparse/fmterror.cc, src/ltlparse/ltlparse.yy,
    src/ltlparse/ltlscan.ll, src/ltlparse/parsedecl.hh,
    src/ltlparse/public.hh, src/tgbaparse/parsedecl.hh,
    src/tgbaparse/public.hh, src/tgbaparse/tgbaparse.yy,
    src/tgbaparse/tgbascan.ll: Adjust for Bison 2.3.  Use %name-prefix
    instead of the "#define yy ... " kludge.
    c0552123