diff --git a/spot/tl/hierarchy.cc b/spot/tl/hierarchy.cc index 0d010796d..4ed8e4506 100644 --- a/spot/tl/hierarchy.cc +++ b/spot/tl/hierarchy.cc @@ -41,8 +41,7 @@ namespace spot // 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())