-
Alexandre Duret-Lutz authored
* src/dstarparse/dra2ba.cc: Use tgba_digraph instead of tgba_explicit_number. * src/tgbatest/dstar.test: Adjust.
f9d85d7d
* src/dstarparse/dra2ba.cc: Use tgba_digraph instead of tgba_explicit_number. * src/tgbatest/dstar.test: Adjust.