-
Alexandre Duret-Lutz authored
* spot/twaalgos/genem.cc: If a disjunct has no unit-Fin to remove the code should select any Fin occuring in the disjunct, but it was selecting any Fin occuring in the acceptance condition (made of disjuncts) instead. This could potentially double the number of recursive calls.
d4b8ecdf