Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
util/RedBlackTree: swap colors when swapping with successor
Swapping was incomplete without swapping the colors; this led to assertion failures under certain conditions.
- Loading branch information