-
Alexandre Duret-Lutz authored
* spot/tl/hierarchy.cc (is_recurrence): Do not request state-based acceptance, now that the Rabin->DBA conversionn works on transition-based acceptance as well.
2e8a6702
* spot/tl/hierarchy.cc (is_recurrence): Do not request state-based acceptance, now that the Rabin->DBA conversionn works on transition-based acceptance as well.