-
Alexandre Duret-Lutz authored
* spot/twaalgos/translate.cc: Set relabel_bool_ to 4 by default, not -1. Also call relabel_apply when the formula is relabeled.
60bdf5de
* spot/twaalgos/translate.cc: Set relabel_bool_ to 4 by default, not -1. Also call relabel_apply when the formula is relabeled.