Avoid unfounded warnings from GCC 7.2.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 24 Sep 2017 02:44:48 +0000 (19:44 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 24 Sep 2017 02:44:48 +0000 (19:44 -0700)
GCC thinks that these printf formats can produce output longer than the
buffer that is available for them.  I think that it is wrong, but it is
easy enough to use larger (or variable-length) buffers, so this commit
does that.


No differences found