-
Alexandre Duret-Lutz authored
Fixes #67. * src/tgba/tgba.cc, src/tgba/tgba.hh: Here. * src/tgbaalgos/complete.cc, src/tgbaalgos/stripacc.cc: Use it.
c26457b0
Fixes #67. * src/tgba/tgba.cc, src/tgba/tgba.hh: Here. * src/tgbaalgos/complete.cc, src/tgbaalgos/stripacc.cc: Use it.