Skip to content

fix previous two patches

Alexandre Duret-Lutz requested to merge adl/566 into next

make sure we don't split a label with a label that subsume it

  • spot/twaalgos/alternation.cc, spot/twaalgos/dualize.cc: Here.

Merge request reports