Message ID | 20110801091602.GA1953@adacore.com |
---|---|
State | New |
Headers | show |
Index: a-rbtgbo.adb =================================================================== --- a-rbtgbo.adb (revision 176998) +++ a-rbtgbo.adb (working copy) @@ -330,7 +330,7 @@ Set_Right (N (Parent (N (Z))), Y); end if; - Set_Left (N (Y), Z); + Set_Left (N (Y), Left (N (Z))); Set_Parent (N (Left (N (Y))), Y); Set_Right (N (Y), Z); Set_Parent (N (Z), Y);