spot/twaalgos/ltl2tgba_fm.cc · d0112a7b8aae38b1907aedd7a8bb5506d7358783 · Spot / Spot

fix unpaired copy-ctor/op= reported by PVS-Stydio · d0112a7b

Alexandre Duret-Lutz authored Oct 28, 2016

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