From 00ede2ba1f815c3109ef39fb997bee634584c9d4 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Thu, 3 Jul 2003 10:09:36 +0000
Subject: [PATCH] Increase size of buffer for printing bignums

---
 src/c/print.d | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/c/print.d b/src/c/print.d
index 91ba44b5d..4f53dfef8 100644
--- a/src/c/print.d
+++ b/src/c/print.d
@@ -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)