Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
translate.cc
Find file
Blame
History
Permalink
translate: relabel_bool was ignored when option_map was not supplied
· 29508339
Alexandre Duret-Lutz
authored
May 18, 2019
* spot/twaalgos/translate.cc: Set relabel_bool_ to 4 by default, not -1. * NEWS: Mention the bug.
29508339