• Alexandre Duret-Lutz's avatar
    bdddict: remove now/next variables. · 18f6fe77
    Alexandre Duret-Lutz authored
    These were only used by the BDD-based implementation of TGBA, which has
    been removed.
    
    * src/tgba/bdddict.cc, src/tgba/bdddict.hh, src/tgba/bddprint.cc: Remove
    support for now/next variables.
    18f6fe77