(split_interval_right): Make sure to call
authorRichard M. Stallman <rms@gnu.org>
Mon, 16 Feb 1998 23:46:08 +0000 (23:46 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 16 Feb 1998 23:46:08 +0000 (23:46 +0000)
commitcc6e2aaa2ae4f98baa4f450f4732f36e9a5c4061
tree21ae79b7b227dc532f86170e965aa187f5fa7593
parentab2d0cdb53b226e63c02730231a271312e940e12
(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.
src/intervals.c