-
Alexandre Duret-Lutz authored
* src/priv/accmap.hh, src/tgbaalgos/lbtt.cc, src/tgbaalgos/lbtt.hh, src/tgbaparse/public.hh, src/tgbaparse/tgbaparse.yy, src/tgbatest/ltl2tgba.cc, src/tgbatest/tgbaread.cc: Do not pass any environment parameter to parse acceptance sets. This is not used anymore since we moved to int-labeled acceptance sets.
e4158c21