-
Alexandre Duret-Lutz authored
Fixes #268, reported by Yann Thierry-Mieg. * spot/twaalgos/translate.cc, spot/twaalgos/translate.hh: Call relabel_bse() + relabel_here(). * tests/core/format.test: Add a test case. * bin/spot-x.cc, NEWS: Document the change.
05abed6d