X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;h=3f79a6a02afb0bf7094b5c258aceee9de380b774;hb=2048ef1bcb81fa766ccff3bb1cf30a886316983c;hp=b1b404637bd76daf7d762bd7dd786be4f1af2218;hpb=cf4da7ffcb1c9f1016c4fa013deb8ce40c431e19;p=pspp-builds.git

diff --git a/src/output/output.c b/src/output/output.c
index b1b40463..3f79a6a0 100644
--- a/src/output/output.c
+++ b/src/output/output.c
@@ -28,6 +28,7 @@
 #include "message.h"
 #include "filename.h"
 #include "htmlP.h"
+#include "intprops.h"
 #include "misc.h"
 #include "settings.h"
 #include "str.h"
@@ -194,7 +195,7 @@ expand_name (char *bp, char *ep)
 static const char *
 find_defn_value (const char *key)
 {
-  static char buf[INT_DIGITS + 1];
+  static char buf[INT_STRLEN_BOUND (int) + 1];
   struct outp_defn *d;
 
   for (d = outp_macros; d; d = d->next)