Skip to content
  • Alexandre Duret-Lutz's avatar
    get rid of SPOT_DELETED · 06971a26
    Alexandre Duret-Lutz authored
    It was only needed with Swig versions older than what we have now.
    
    * src/misc/common.hh: Here.
    * src/misc/bitvect.hh, src/misc/common.hh, src/ta/taexplicit.hh,
    src/ta/taproduct.hh, src/tl/simplify.hh, src/twa/bdddict.hh,
    src/twa/taatgba.hh, src/twa/twaproduct.hh: Use = delete directly.
    06971a26