Skip to content
  • Alexandre Duret-Lutz's avatar
    safra: get rid of boost::dynamic_bitset. · 92ef3e10
    Alexandre Duret-Lutz authored
    The bitvect implementation seems a tad faster, but most importantly
    this removes the last dependency on Boost.
    
    * src/tgba/tgbasafracomplement.cc: Replace boost::dynamic_bitset by
    spot::bitvect.
    92ef3e10