-
Alexandre Duret-Lutz authored
* src/ltlparse/public.hh, src/ltlparse/ltlparse.yy (parse_boolean): New function. * src/neverparse/neverclaimparse.yy, src/tgbaparse/tgbaparse.yy: Use it.
877082bf
* src/ltlparse/public.hh, src/ltlparse/ltlparse.yy (parse_boolean): New function. * src/neverparse/neverclaimparse.yy, src/tgbaparse/tgbaparse.yy: Use it.