summaryrefslogtreecommitdiff
path: root/src/intervals.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/intervals.c')
-rw-r--r--src/intervals.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/intervals.c b/src/intervals.c
index 66b486e1422..69a33867283 100644
--- a/src/intervals.c
+++ b/src/intervals.c
@@ -1405,7 +1405,7 @@ offset_intervals (struct buffer *buffer, ptrdiff_t start, ptrdiff_t length)
start, length);
else
{
- lint_assume (- TYPE_MAXIMUM (ptrdiff_t) <= length);
+ assume (- TYPE_MAXIMUM (ptrdiff_t) <= length);
adjust_intervals_for_deletion (buffer, start, -length);
}
}