mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-24 14:30:43 -08:00
Code Issues Projects Releases Wiki Activity

Fix the condition for splaynodeupdate.

Browse source 
Copied from Perforce
 Change: 185307
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Gareth Rees 2014-04-07 16:26:03 +01:00
parent d097de9ec0
commit 6432d58813
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
mps/code/splay.c
View file

@ -1323,7 +1323,8 @@ void SplayNodeUpdate(SplayTree splay, Tree node)
{
AVERT(SplayTree, splay);
AVERT(Tree, node);
AVER(SplayTreeIsEmpty(splay)); /* otherwise, call SplayNodeRefresh */
AVER(!TreeHasLeft(node)); /* otherwise, call SplayNodeRefresh */
AVER(!TreeHasRight(node)); /* otherwise, call SplayNodeRefresh */
AVER(SplayHasUpdate(splay)); /* otherwise, why call? */
splay->updateNode(splay, node);