From dd91e0e1c03af1b7d127280b56db74827eac9478 Mon Sep 17 00:00:00 2001
From: brian <brian@brianweb.net>
Date: Wed, 14 Apr 2004 01:52:59 +0000
Subject: [PATCH] bug 531

darcs-hash:20040414015259-24bed-8ffb40df200ddd5e0b36eded18d3f26c3b001e2b.gz
---
 src/org/ibex/util/BalancedTree.java |    6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/org/ibex/util/BalancedTree.java b/src/org/ibex/util/BalancedTree.java
index 615db24..7d1c341 100644
--- a/src/org/ibex/util/BalancedTree.java
+++ b/src/org/ibex/util/BalancedTree.java
@@ -223,10 +223,8 @@ public class BalancedTree {
         int c = left[d];
         if (d <= 0) throw new Error("rotation error");
         left[d] = b;
-        if(size[b] <= 3) // b is now a leaf
-            right[b] = -d;
-        else
-            right[b] = c;
+        right[b] = c <= 0 ? -d : c;
+        
         parent[b] = d;
         parent[d] = p;
         if(c > 0) parent[c] = b;
-- 
1.7.10.4