diff options
Diffstat (limited to 'src/intervals.c')
| -rw-r--r-- | src/intervals.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/intervals.c b/src/intervals.c index a9c4f5aed0b..5aa68a359d6 100644 --- a/src/intervals.c +++ b/src/intervals.c | |||
| @@ -1404,10 +1404,7 @@ offset_intervals (struct buffer *buffer, ptrdiff_t start, ptrdiff_t length) | |||
| 1404 | adjust_intervals_for_insertion (buffer_intervals (buffer), | 1404 | adjust_intervals_for_insertion (buffer_intervals (buffer), |
| 1405 | start, length); | 1405 | start, length); |
| 1406 | else | 1406 | else |
| 1407 | { | 1407 | adjust_intervals_for_deletion (buffer, start, -length); |
| 1408 | assume (- TYPE_MAXIMUM (ptrdiff_t) <= length); | ||
| 1409 | adjust_intervals_for_deletion (buffer, start, -length); | ||
| 1410 | } | ||
| 1411 | } | 1408 | } |
| 1412 | 1409 | ||
| 1413 | /* Merge interval I with its lexicographic successor. The resulting | 1410 | /* Merge interval I with its lexicographic successor. The resulting |