-
Maximilien Colange authored
* bin/autcross.cc, bin/autfilt.cc, bin/ltlcross.cc, spot/parseaut/parseaut.yy: use SPOT_NB_ACC * spot/twa/acc.hh: make implementation private
cde0977e
* bin/autcross.cc, bin/autfilt.cc, bin/ltlcross.cc, spot/parseaut/parseaut.yy: use SPOT_NB_ACC * spot/twa/acc.hh: make implementation private