-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize_obligation): Delete the powerset automaton when we return 0 because we know if the result is correct and don't have the formulae to check it. Reported by Étienne Renault.
fdbdb1a4
* src/tgbaalgos/minimize.cc (minimize_obligation): Delete the powerset automaton when we return 0 because we know if the result is correct and don't have the formulae to check it. Reported by Étienne Renault.