-
Alexandre Duret-Lutz authored
* spot/twa/twasafracomplement.cc, spot/twa/twasafracomplement.hh, tests/core/complementation.cc: Delete. * tests/Makefile.am, spot/twa/Makefile.am: Adjust. * tests/core/complementation.test: Rewrite using the new determinization code. * python/spot/impl.i: Do not mention twa_safra_complement anymore. * NEWS: Mention the removal.
6a662a6d