-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.cc: Compute original_acc before calling scc_filter(), and do not degeneralize the automaton before calling tba_determinize() even when building a BA.
8e30fcd8
* src/tgbaalgos/postproc.cc: Compute original_acc before calling scc_filter(), and do not degeneralize the automaton before calling tba_determinize() even when building a BA.