-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.