From 6432d58813a8d38e80efb38898c4a08f3019094c Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Mon, 7 Apr 2014 16:26:03 +0100
Subject: [PATCH] Fix the condition for splaynodeupdate.

Copied from Perforce
 Change: 185307
 ServerID: perforce.ravenbrook.com
---
 mps/code/splay.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mps/code/splay.c b/mps/code/splay.c
index e07b40215cb..278f038b9b5 100644
--- a/mps/code/splay.c
+++ b/mps/code/splay.c
@@ -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);