From 697c94605f2a208baf48a17b64f8ad7217c4081f Mon Sep 17 00:00:00 2001 From: Alexandre GBAGUIDI AISSE Date: Tue, 19 Sep 2017 14:47:31 +0100 Subject: [PATCH] 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. --- bin/ltlfilt.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/bin/ltlfilt.cc b/bin/ltlfilt.cc index 351b60aa4..d956f049b 100644 --- a/bin/ltlfilt.cc +++ b/bin/ltlfilt.cc @@ -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())