Skip to content
  • Alexandre Duret-Lutz's avatar
    tgbaparse, lbttparse: do not pass an environment for acceptance sets · e4158c21
    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