-
Alexandre Duret-Lutz authored
* NEWS: Mention it. * spot/twa/acc.hh (spot::acc_cond::format): Deprecate. (spot::acc_cond::mark_t::as_string): New function. * spot/taalgos/dot.cc: Use mark_t::as_string(). * spot/priv/satcommon.cc, spot/priv/satcommon.hh, spot/twaalgos/dtwasat.cc, spot/twaalgos/emptiness.cc, tests/core/acc.cc, tests/core/acc.test: Adjust to use << directly.
bfe0ada6