Increase size of buffer for printing bignums

This commit is contained in:
jjgarcia 2003-07-03 10:09:36 +00:00
parent f8d7f48aeb
commit 00ede2ba1f

View file

@ -572,7 +572,7 @@ static void
write_bignum(cl_object x)
{
cl_fixnum str_size = mpz_sizeinbase(x->big.big_num, PRINTbase);
char str[str_size]; /* __GNUC__ */
char str[str_size+2]; /* __GNUC__ */
char *s = str;
mpz_get_str(str, PRINTbase, x->big.big_num);
while (*s)