-
Alexandre Duret-Lutz authored
* src/neverparse/neverclaimparse.yy, src/neverparse/public.hh, src/tgbatest/ltl2tgba.cc, src/tgbatest/neverclaimread.test: Adjust.
886d4e75
* src/neverparse/neverclaimparse.yy, src/neverparse/public.hh, src/tgbatest/ltl2tgba.cc, src/tgbatest/neverclaimread.test: Adjust.