diff src/s/hpux9.h @ 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 ecbb06adc669
children a1daedc19c52
line wrap: on
line diff