diff src/intervals.c @ 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 857bb0f59668
children 07b454ddc666
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