diff options
author | Richard M. Stallman <[email protected]> | 1993-05-31 00:08:24 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1993-05-31 00:08:24 +0000 |
commit | 97562e5ee9f70a51b8e77c1017a76a1712e8829d (patch) | |
tree | f67bdee8e399c2ea38fd8263a636c6114619d0e1 /src/intervals.c | |
parent | 36649cecd4b649bfba05383d349b77099a3c03a3 (diff) |
(interval_deletion_adjustment): Delete unreachable abort.
Diffstat (limited to 'src/intervals.c')
-rw-r--r-- | src/intervals.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/intervals.c b/src/intervals.c index f08d80cff0..b262412930 100644 --- a/src/intervals.c +++ b/src/intervals.c @@ -835,7 +835,6 @@ interval_deletion_adjustment (tree, from, amount) } /* Never reach here */ - abort (); } /* Effect the adjustments neccessary to the interval tree of BUFFER |