diff src/config.in @ 20908:516b224be85a

(split_interval_right): Make sure to call balance_possible_root_interval in case an interval doesn't have a right child, because otherwise the interval tree might degenerate into a list. (split_interval_left): Ditto if an interval hasn't a left child.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Feb 1998 23:46:08 +0000
parents adb8a0943fc1
children 69bfc7fa462c
line wrap: on
line diff