Fix: Remove SBAcc option in bin/ltlfilt

* bin/ltlfilt.cc: Remove SBAcc option as rabin_to_buchi_maybe() works
with transition-based acceptance as well.
parent bd5c6920
......@@ -751,8 +751,7 @@ namespace
// BA will preserve determinism if possible.
spot::postprocessor p;
p.set_type(spot::postprocessor::Generic);
p.set_pref(spot::postprocessor::Deterministic
| spot::postprocessor::SBAcc);
p.set_pref(spot::postprocessor::Deterministic);
p.set_level(spot::postprocessor::Low);
auto dra = p.run(aut);
if (dra->acc().is_generalized_buchi())
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment