-
Florian Renkin authored
* spot/twaalgos/toparity.cc, spot/twaalgos/toparity.hh: Don't try to run the algorithm without degeneralization with the option force_degen.
685d6d8b
* spot/twaalgos/toparity.cc, spot/twaalgos/toparity.hh: Don't try to run the algorithm without degeneralization with the option force_degen.