1) Fixed some bugs in the redblack tree implementation...removing a non-present node...
authorbdemsky <bdemsky>
Wed, 10 Nov 2004 05:44:43 +0000 (05:44 +0000)
committerbdemsky <bdemsky>
Wed, 10 Nov 2004 05:44:43 +0000 (05:44 +0000)
commitb02602973feb8ecb4fbb29562b04df1ebc214d2d
treeaee1a646bc025c877299b48c1e68557143593f16
parent959f432eb8062d8c3100537b03827e70cf878c5f
1) Fixed some bugs in the redblack tree implementation...removing a non-present node resulted in a segfault.

2) Fixed bug in constructbindings method.
Repair/RepairCompiler/MCC/CRuntime/libredblack/redblack.c
Repair/RepairCompiler/MCC/CRuntime/redblack.c
Repair/RepairCompiler/MCC/IR/Termination.java