-
Alexandre Duret-Lutz authored
Fix an issue reported by Tomáš Babiak, who noticed that he could not manage to have ltl2tgba process `genltl --go-theta=N` efficiently for larger values of N. * spot/twaalgos/translate.hh (set_level): Reset any owned LTL simplifier whenever the optimization level is changed. * NEWS: Mention the bug.
ce63c30c