-
Alexandre Duret-Lutz authored
* src/misc/common.hh: Conditionally define SPOT_DELETED to = delete. * src/ltlvisit/simplify.hh, src/ta/taexplicit.hh, src/ta/taproduct.hh, src/tgba/bdddict.hh, src/tgba/taatgba.hh, src/tgba/tgbabddconcrete.hh, src/tgba/tgbaexplicit.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbasgba.hh, src/tgba/tgbatba.hh, src/tgba/tgbaunion.hh, src/tgba/wdbacomp.cc: Use SPOT_DELETED. * wrap/python/spot.i: Include common.hh. * wrap/python/Makefile.am: Remove useless definition of SPOT_API and BUDDY_API.
c88e22d0