X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fstats%2Fflip.c;h=bc5399a7b3ca500165f1f2585693a21175cbba5c;hb=2048ef1bcb81fa766ccff3bb1cf30a886316983c;hp=f816a0f5479ca4c8884986bf26ace247b96372ff;hpb=cf4da7ffcb1c9f1016c4fa013deb8ce40c431e19;p=pspp-builds.git

diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index f816a0f5..bc5399a7 100644
--- a/src/language/stats/flip.c
+++ b/src/language/stats/flip.c
@@ -30,6 +30,7 @@
 #include "command.h"
 #include "dictionary.h"
 #include "message.h"
+#include "intprops.h"
 #include "lexer.h"
 #include "misc.h"
 #include "pool.h"
@@ -332,7 +333,7 @@ flip_sink_write (struct case_sink *sink, const struct ccase *c)
             strcpy (v->name, "VPOSINF");
           else 
             {
-              char name[INT_DIGITS + 2];
+              char name[INT_STRLEN_BOUND (int) + 2];
               sprintf (name, "V%d", (int) f);
               str_copy_trunc (v->name, sizeof v->name, name);
             }