-
Alexandre Duret-Lutz authored
* src/graph/graph.hh (digraph::digraph): Mark transition 0 as dead. (digraph::is_dead_transition): Fix prototype. * src/tgba/tgbagraph.hh (tgba_digraph::is_dead_transition): Fix prototype.
1696fac8
* src/graph/graph.hh (digraph::digraph): Mark transition 0 as dead. (digraph::is_dead_transition): Fix prototype. * src/tgba/tgbagraph.hh (tgba_digraph::is_dead_transition): Fix prototype.