Recent change in intervals.c

[Stefan Monnier <monnier@IRO.UMontreal.CA>]

Could someone double check that the patch below is correct and doesn't
leave yet another "corner case" ?


        Stefan


Index: intervals.c
===================================================================
RCS file: /cvsroot/emacs/emacs/src/intervals.c,v
retrieving revision 1.125
diff -u -u -b -r1.125 intervals.c
--- intervals.c	22 Sep 2003 15:51:19 -0000	1.125
+++ intervals.c	29 Sep 2003 18:59:58 -0000
@@ -1823,9 +1968,9 @@
   while (! NULL_INTERVAL_P (over))
     {
       /* If UNDER is longer than OVER, split it.  */
-      if (LENGTH (over) < LENGTH (under))
+      if (LENGTH (over) - over_used < LENGTH (under))
 	{
-	  this = split_interval_left (under, LENGTH (over));
+	  this = split_interval_left (under, LENGTH (over) - over_used);
 	  copy_properties (under, this);
 	}
       else