-
Alexandre Duret-Lutz authored
For #192. * bin/common_trans.cc, bin/common_trans.hh, spot/twa/acc.hh: Add an operator= in addition to the copy constructor. * spot/twaalgos/ltl2tgba_fm.cc: Use the default constructor. * spot/ta/taproduct.cc, spot/ta/taproduct.hh: Delete an unused copy constructor.
d0112a7b