changeset 3333:962106f58afe

(interval_deletion_adjustment): Delete unreachable abort.
author Richard M. Stallman <rms@gnu.org>
date Mon, 31 May 1993 00:08:24 +0000
parents b2e9e2ae0e10
children 7900edb84c4f
files src/intervals.c
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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