Remove BLP_INT_DIGITS. Now we use the intprops.h header file instead.

[pspp-builds.git] / src / output / groff-font.c

diff --git a/src/output/groff-font.c b/src/output/groff-font.c
index b08ee636cd9853279438c8910cc3c35267f47a4f..c8014d78ea2f3a36352448180cefd4c978983f15 100644 (file)
--- a/src/output/groff-font.c
+++ b/src/output/groff-font.c
@@ -30,6 +30,7 @@
 #include "filename.h"
 #include "getline.h"
 #include "hash.h"
+#include "intprops.h"
 #include "pool.h"
 #include "str.h"
 #include "version.h"
@@ -539,7 +540,7 @@ font_char_name_to_index (const char *name)
 int
 font_number_to_index (int x)
 {
-  char name[INT_DIGITS + 2];
+  char name[INT_STRLEN_BOUND (x) + 2];
 
   /* Note that space is the only character that can't appear in a
      character name.  That makes it an excellent choice for a name