@@ -143,7 +143,7 @@ treeAdd(Thread* t, object path)
143
143
if (treeNodeRed
144
144
(t, treeNodeRight (t, pairFirst (t, pairSecond (t, ancestors)))))
145
145
{
146
- setTreeNodeRed (t, pairFirst (t, ancestors), true );
146
+ setTreeNodeRed (t, pairFirst (t, ancestors), false );
147
147
148
148
object n = cloneTreeNode
149
149
(t, treeNodeRight (t, pairFirst (t, pairSecond (t, ancestors))));
@@ -154,7 +154,7 @@ treeAdd(Thread* t, object path)
154
154
(t, treeNodeRight
155
155
(t, pairFirst (t, pairSecond (t, ancestors))), false );
156
156
157
- setTreeNodeRed (t, pairFirst (t, pairSecond (t, ancestors)), false );
157
+ setTreeNodeRed (t, pairFirst (t, pairSecond (t, ancestors)), true );
158
158
159
159
new_ = pairFirst (t, pairSecond (t, ancestors));
160
160
ancestors = pairSecond (t, pairSecond (t, ancestors));
@@ -195,7 +195,7 @@ treeAdd(Thread* t, object path)
195
195
if (treeNodeRed
196
196
(t, treeNodeLeft (t, pairFirst (t, pairSecond (t, ancestors)))))
197
197
{
198
- setTreeNodeRed (t, pairFirst (t, ancestors), true );
198
+ setTreeNodeRed (t, pairFirst (t, ancestors), false );
199
199
200
200
object n = cloneTreeNode
201
201
(t, treeNodeLeft (t, pairFirst (t, pairSecond (t, ancestors))));
@@ -206,7 +206,7 @@ treeAdd(Thread* t, object path)
206
206
(t, treeNodeLeft
207
207
(t, pairFirst (t, pairSecond (t, ancestors))), false );
208
208
209
- setTreeNodeRed (t, pairFirst (t, pairSecond (t, ancestors)), false );
209
+ setTreeNodeRed (t, pairFirst (t, pairSecond (t, ancestors)), true );
210
210
211
211
new_ = pairFirst (t, pairSecond (t, ancestors));
212
212
ancestors = pairSecond (t, pairSecond (t, ancestors));
0 commit comments