(store_char): Use x2nrealloc rather than xrealloc.

diff --git a/src/pr.c b/src/pr.c
index f8184883b6be7e88e43da0b83a18dd523aacd198..8ae0011af4fa2cca5db2dd5f56f1f8954e9a05e9 100644 (file)
--- a/src/pr.c
+++ b/src/pr.c
@@ -2013,8 +2013,7 @@ store_char (int c)
   if (buff_current >= buff_allocated)
     {
       /* May be too generous. */
-      buff_allocated = 2 * buff_allocated;
-      buff = xrealloc (buff, buff_allocated * sizeof (char));
+      buff = x2nrealloc (buff, &buff_allocated, sizeof *buff);
     }
   buff[buff_current++] = (char) c;
 }