-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize_obligation): Do not check the output of minimize_wdba if the input formula is a syntactic obligation.
98f67973
* src/tgbaalgos/minimize.cc (minimize_obligation): Do not check the output of minimize_wdba if the input formula is a syntactic obligation.