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