diff options
| -rw-r--r-- | src/bidi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bidi.c b/src/bidi.c index a6af9e36e15..697ebb92856 100644 --- a/src/bidi.c +++ b/src/bidi.c | |||
| @@ -2319,7 +2319,7 @@ bidi_dump_cached_states (void) | |||
| 2319 | fprintf (stderr, "The cache is empty.\n"); | 2319 | fprintf (stderr, "The cache is empty.\n"); |
| 2320 | return; | 2320 | return; |
| 2321 | } | 2321 | } |
| 2322 | fprintf (stderr, "Total of %"pI"d state%s in cache:\n", | 2322 | fprintf (stderr, "Total of %"pD"d state%s in cache:\n", |
| 2323 | bidi_cache_idx, bidi_cache_idx == 1 ? "" : "s"); | 2323 | bidi_cache_idx, bidi_cache_idx == 1 ? "" : "s"); |
| 2324 | 2324 | ||
| 2325 | for (i = bidi_cache[bidi_cache_idx - 1].charpos; i > 0; i /= 10) | 2325 | for (i = bidi_cache[bidi_cache_idx - 1].charpos; i > 0; i /= 10) |