-
Alexandre Duret-Lutz authored
This avoids a few conversion problems, and also made the bug of sbacc (fixed by 37fc948b) obvious. Reported by Thomas Medioni. * spot/twa/acc.hh (mark_t::operator bool): Make it explicit. * spot/twaalgos/remfin.cc: Adjust.
cf5d2c2b