Correctly handle reaching the end of the interval tree. (Bug#15344)

diff --cc src/ChangeLog
index 950d4a3,2929c03..53b8b74
--- 1/src/ChangeLog
--- 2/src/ChangeLog
+++ b/src/ChangeLog
@@@ -1,19 -1,3 +1,24 @@@
++2014-01-13  Daniel Colascione  <dancol@dancol.org>
++
++      * textprop.c (Fremove_list_of_text_properties): Correctly
++      handle reaching the end of the interval tree. (Bug#15344)
++
 +2014-01-13  Martin Rudalics  <rudalics@gmx.at>
 +
 +      * xdisp.c (resize_mini_window): Round height to a multiple of
 +      frame's line height.  Fix bug in calculation of window start
 +      position (Bug#16424).
 +
 +2014-01-13  Jan Djärv  <jan.h.d@swipnet.se>
 +
 +      * macfont.m: Include termchar.h.
 +      (CG_SET_FILL_COLOR_WITH_FACE_FOREGROUND)
 +      (CG_SET_FILL_COLOR_WITH_FACE_BACKGROUND)
 +      (CG_SET_STROKE_COLOR_WITH_FACE_FOREGROUND): Modified from
 +      *_WITH_GC_* to take face and f as parameters.
 +      (macfont_draw): Check for DRAW_MOUSE_FACE and set face accordingly.
 +      Use *_WITH_FACE_*, and pass face as parameter (Bug#16425).
 +
  2014-01-13  Daniel Colascione  <dancol@dancol.org>
  
        Fix menu item updating in the presence of the Unity global menu

diff --cc src/textprop.c
index 3fff8c4,3fff8c4..67f5171
--- 1/src/textprop.c
--- 2/src/textprop.c
+++ b/src/textprop.c
@@@ -1741,6 -1741,6 +1741,19 @@@ Return t if any property was actually r
        }
        len -= LENGTH (i);
        i = next_interval (i);
++      if(!i)
++        {
++          if (modified)
++            {
++              if (BUFFERP (object))
++                signal_after_change (XINT (start),
++                                     XINT (end) - XINT (start),
++                                     XINT (end) - XINT (start));
++              return Qt;
++            }
++          else
++            return Qnil;
++        }
      }
  }
  \f