# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738806904 0
# Node ID 962106f58afe74d4e7103760c2244920bb8e011a
# Parent  b2e9e2ae0e10197514d7dfcced7053bcdb8b7141
(interval_deletion_adjustment): Delete unreachable abort.

diff -r b2e9e2ae0e10 -r 962106f58afe src/intervals.c
--- a/src/intervals.c	Mon May 31 00:05:58 1993 +0000
+++ b/src/intervals.c	Mon May 31 00:08:24 1993 +0000
@@ -835,7 +835,6 @@
     }
 
   /* Never reach here */
-  abort ();
 }
 
 /* Effect the adjustments neccessary to the interval tree of BUFFER