-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc (process_link): Call transition_annotation(). Reported by Nikos Gorogiannis. * src/tgba/tgba.hh (transition_annotation): More documentation.
3010d705
* src/tgbaalgos/dotty.cc (process_link): Call transition_annotation(). Reported by Nikos Gorogiannis. * src/tgba/tgba.hh (transition_annotation): More documentation.