• Alexandre Duret-Lutz's avatar
    Use the same location.hh and position.hh in all parsers. · 8c2d7fcb
    Alexandre Duret-Lutz authored
    * src/misc/location.hh, src/misc/position.hh: New files,
    from Bison 2.7.
    * src/misc/Makefile.am: Distribute them.
    * src/eltlparse/Makefile.am, src/eltlparse/eltlparse.yy,
    src/eltlparse/parsedecl.hh, src/eltlparse/public.hh,
    src/kripkeparse/Makefile.am, src/kripkeparse/kripkeparse.yy,
    src/kripkeparse/parsedecl.hh, src/kripkeparse/public.hh,
    src/ltlparse/Makefile.am, src/ltlparse/fmterror.cc,
    src/ltlparse/ltlparse.yy, src/ltlparse/parsedecl.hh,
    src/ltlparse/public.hh, src/neverparse/Makefile.am,
    src/neverparse/neverclaimparse.yy, src/neverparse/parsedecl.hh,
    src/neverparse/public.hh, src/tgbaparse/Makefile.am,
    src/tgbaparse/parsedecl.hh, src/tgbaparse/public.hh,
    src/tgbaparse/tgbaparse.yy: Adjust to use and include
    misc/location.hh.
    * NEWS: Mention this change.
    8c2d7fcb
public.hh 3.41 KB