diff options
Diffstat (limited to 'src/lib/splaytree.C')
-rw-r--r-- | src/lib/splaytree.C | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/lib/splaytree.C b/src/lib/splaytree.C index 3ce271344..7505d4164 100644 --- a/src/lib/splaytree.C +++ b/src/lib/splaytree.C @@ -150,6 +150,11 @@ namespace Util { y->parent->child[direction(y->parent, n)] = y; } + else + { + // Removing root, so update header. + header.parent = y; + } y->child[LEFT] = n->child[LEFT]; if (y->child[LEFT]) |