From: brian <brian@brianweb.net>
Date: Wed, 14 Apr 2004 01:52:59 +0000 (+0000)
Subject: bug 531
X-Git-Url: http://git.megacz.com/?p=org.ibex.core.git;a=commitdiff_plain;h=dd91e0e1c03af1b7d127280b56db74827eac9478

bug 531

darcs-hash:20040414015259-24bed-8ffb40df200ddd5e0b36eded18d3f26c3b001e2b.gz
---

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;