|
@@ -160,10 +160,12 @@ again:
|
|
|
|
|
|
if (choose_best_symbol(curr, next) == SYMBOL_A) {
|
|
if (choose_best_symbol(curr, next) == SYMBOL_A) {
|
|
rb_erase(&next->rb_node, symbols);
|
|
rb_erase(&next->rb_node, symbols);
|
|
|
|
+ symbol__delete(next);
|
|
goto again;
|
|
goto again;
|
|
} else {
|
|
} else {
|
|
nd = rb_next(&curr->rb_node);
|
|
nd = rb_next(&curr->rb_node);
|
|
rb_erase(&curr->rb_node, symbols);
|
|
rb_erase(&curr->rb_node, symbols);
|
|
|
|
+ symbol__delete(curr);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|