-
Alexandre Duret-Lutz authored
* src/twa/twagraph.hh (namer): Use a template alias instead of a trait. * src/twa/twagraph.cc, src/parseaut/parseaut.yy, src/twaalgos/ltl2tgba_fm.cc: Adjust.
ac6b042e
* src/twa/twagraph.hh (namer): Use a template alias instead of a trait. * src/twa/twagraph.cc, src/parseaut/parseaut.yy, src/twaalgos/ltl2tgba_fm.cc: Adjust.