• Alexandre Duret-Lutz's avatar
    Rename tgba_complement as tgba_kv_complement. · 7647ba0f
    Alexandre Duret-Lutz authored
    * src/tgba/tgbacomplement.hh, src/tgba/tgbacomplement.cc: Rename
    as...
    * src/tgba/tgbakvcomplement.hh, src/tgba/tgbakvcomplement.cc:
    ... these. It makes more sense since we also have
    tgba_safra_complement.
    * src/tgba/Makefile.am, src/tgbatest/complement.cc, NEWS: Adjust.
    7647ba0f
Makefile.am 2.1 KB