# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 759431248 0
# Node ID ceed2e32b303242f77d58245c19037c9b24cf4c6
# Parent  83b4ead7031f88300469df199f80f6bd865f35e2
(graft_intervals_into_buffer): Fix one-off
comparing lengths of over and under.

diff -r 83b4ead7031f -r ceed2e32b303 src/intervals.c
--- a/src/intervals.c	Mon Jan 24 12:31:40 1994 +0000
+++ b/src/intervals.c	Mon Jan 24 17:07:28 1994 +0000
@@ -1458,7 +1458,7 @@
      
   while (! NULL_INTERVAL_P (over))
     {
-      if (LENGTH (over) + 1 < LENGTH (under))
+      if (LENGTH (over) < LENGTH (under))
 	{
 	  this = split_interval_left (under, LENGTH (over));
 	  copy_properties (under, this);