From 17b611b58013c66deea1691aaa13ccbf85c01f48 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@users.sourceforge.net>
Date: Thu, 28 Oct 2010 23:51:21 +0200
Subject: [PATCH] Adjust buffer size in write_stream

---
 src/c/printer/write_ugly.d | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/c/printer/write_ugly.d b/src/c/printer/write_ugly.d
index 6701a9910..a75a2251d 100644
--- a/src/c/printer/write_ugly.d
+++ b/src/c/printer/write_ugly.d
@@ -173,12 +173,12 @@ write_stream(cl_object x, cl_object stream)
 {
         const char *prefix;
         cl_object tag;
-#ifdef ECL_UNICODE
-        ecl_character buffer[20];
-#else
-        ecl_base_char buffer[20];
-#endif
         union cl_lispunion str;
+#ifdef ECL_UNICODE
+        ecl_character buffer[10];
+#else
+        ecl_base_char buffer[10];
+#endif
         switch ((enum ecl_smmode)x->stream.mode) {
         case smm_input_file:
         case smm_input: