-
Alexandre Duret-Lutz authored
Those cannot work now that automata are not labeled by formulas anymore. * src/tgbaalgos/isweakscc.cc, src/tgbaalgos/isweakscc.hh (is_syntactic_weak_scc, is_syntactic_terminal_scc): Remove.
57e7bbb3
Those cannot work now that automata are not labeled by formulas anymore. * src/tgbaalgos/isweakscc.cc, src/tgbaalgos/isweakscc.hh (is_syntactic_weak_scc, is_syntactic_terminal_scc): Remove.