X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fpor-file-reader.c;h=343615a826fcecb70f6e013b101b4cba1c6f36b1;hb=9e583dc3ff4b8cae46ac0fb1b1d6816061ea951f;hp=1dcbeac71c540eb81c9654d619b575f85367316b;hpb=9d277177e824de0170e1afd3c1db326175e3cfb0;p=pspp

diff --git a/src/data/por-file-reader.c b/src/data/por-file-reader.c
index 1dcbeac71c..343615a826 100644
--- a/src/data/por-file-reader.c
+++ b/src/data/por-file-reader.c
@@ -43,7 +43,6 @@
 #include "libpspp/pool.h"
 #include "libpspp/str.h"
 
-#include "gl/intprops.h"
 #include "gl/minmax.h"
 #include "gl/xalloc.h"
 #include "gl/xmemdup0.h"
@@ -729,9 +728,9 @@ read_variables (struct pfm_reader *r, struct dictionary *dict)
           unsigned long int i;
           for (i = 1; ; i++)
             {
-              char try_name[8 + 1 + INT_STRLEN_BOUND (i) + 1];
-              sprintf (try_name, "%s_%lu", name, i);
+              char *try_name = xasprintf ("%s_%lu", name, i);
               v = dict_create_var (dict, try_name, width);
+              free (try_name);
               if (v != NULL)
                 break;
             }