-
Alexandre Duret-Lutz authored
* src/tgbaalgos/emptiness.cc, src/tgbaalgos/emptiness.hh: Use tgba_digraph instead of tgba_explicit_string.
ee087b59
* src/tgbaalgos/emptiness.cc, src/tgbaalgos/emptiness.hh: Use tgba_digraph instead of tgba_explicit_string.