-
Hans-Peter Deifel authored
This was a bug in the `delmin` helper that is used to delete the smallest element of the right tree. It deleted too much.
9627b877
This was a bug in the `delmin` helper that is used to delete the smallest element of the right tree. It deleted too much.