diff options
Diffstat (limited to 'src/intervals.c')
| -rw-r--r-- | src/intervals.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/intervals.c b/src/intervals.c index 594d8924ebc..d4a734c923c 100644 --- a/src/intervals.c +++ b/src/intervals.c | |||
| @@ -1187,7 +1187,7 @@ delete_interval (register INTERVAL i) | |||
| 1187 | register INTERVAL parent; | 1187 | register INTERVAL parent; |
| 1188 | ptrdiff_t amt = LENGTH (i); | 1188 | ptrdiff_t amt = LENGTH (i); |
| 1189 | 1189 | ||
| 1190 | eassert (amt == 0); /* Only used on zero-length intervals now. */ | 1190 | eassert (amt <= 0); /* Only used on zero total-length intervals now. */ |
| 1191 | 1191 | ||
| 1192 | if (ROOT_INTERVAL_P (i)) | 1192 | if (ROOT_INTERVAL_P (i)) |
| 1193 | { | 1193 | { |