• Alexandre Duret-Lutz's avatar
    hierarchy: avoid sbacc() · 2e8a6702
    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