-
Alexandre Duret-Lutz authored
* spot/tl/formula.hh (formula::operator bool): Mark as noexcept. * bin/common_trans.hh, bin/common_trans.cc: Use std::atomic instead of volatile.
368acaad
* spot/tl/formula.hh (formula::operator bool): Mark as noexcept. * bin/common_trans.hh, bin/common_trans.cc: Use std::atomic instead of volatile.