-
Alexandre Duret-Lutz authored
* src/tgba/tgbasafracomplement.cc (safra_tree:succ_create): Do not lookup *i twice, and do not copy it->second. (safra_tree::normalize_siblings): Do not lookup *node_it before insertion.
578c5894
* src/tgba/tgbasafracomplement.cc (safra_tree:succ_create): Do not lookup *i twice, and do not copy it->second. (safra_tree::normalize_siblings): Do not lookup *node_it before insertion.