-
Alexandre GBAGUIDI AISSE authored
* bin/ltlfilt.cc: Remove SBAcc option as rabin_to_buchi_maybe() works with transition-based acceptance as well.
75d9e5f6
* bin/ltlfilt.cc: Remove SBAcc option as rabin_to_buchi_maybe() works with transition-based acceptance as well.