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 729e6810f74..952f826778c 100644 --- a/src/intervals.c +++ b/src/intervals.c | |||
| @@ -777,7 +777,7 @@ update_interval (register INTERVAL i, EMACS_INT pos) | |||
| 777 | i = i->right; /* Move to the right child */ | 777 | i = i->right; /* Move to the right child */ |
| 778 | } | 778 | } |
| 779 | else if (NULL_PARENT (i)) | 779 | else if (NULL_PARENT (i)) |
| 780 | error ("Point %d after end of properties", pos); | 780 | error ("Point %"pEd" after end of properties", pos); |
| 781 | else | 781 | else |
| 782 | i = INTERVAL_PARENT (i); | 782 | i = INTERVAL_PARENT (i); |
| 783 | continue; | 783 | continue; |