Skip to content
Find file Blame History Permalink
  • 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