aboutsummaryrefslogtreecommitdiffstats
path: root/src/intervals.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/intervals.c')
-rw-r--r--src/intervals.c4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/intervals.c b/src/intervals.c
index ded536ca3c8..69a33867283 100644
--- a/src/intervals.c
+++ b/src/intervals.c
@@ -40,8 +40,6 @@ along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
40 40
41#include <config.h> 41#include <config.h>
42 42
43#define INTERVALS_INLINE EXTERN_INLINE
44
45#include <intprops.h> 43#include <intprops.h>
46#include "lisp.h" 44#include "lisp.h"
47#include "intervals.h" 45#include "intervals.h"
@@ -1407,7 +1405,7 @@ offset_intervals (struct buffer *buffer, ptrdiff_t start, ptrdiff_t length)
1407 start, length); 1405 start, length);
1408 else 1406 else
1409 { 1407 {
1410 lint_assume (- TYPE_MAXIMUM (ptrdiff_t) <= length); 1408 assume (- TYPE_MAXIMUM (ptrdiff_t) <= length);
1411 adjust_intervals_for_deletion (buffer, start, -length); 1409 adjust_intervals_for_deletion (buffer, start, -length);
1412 } 1410 }
1413} 1411}