X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.h;h=2ac396bedc54f13363d0b491359b2c5440dd8c7d;hb=HEAD;hp=27f4c8ef0e753fd0b160472eb41a0156fb983942;hpb=edaaf79d36b5e9de06881591a42b799c5de0f59a;p=c11tester.git

diff --git a/common.h b/common.h
index 27f4c8ef..2ac396be 100644
--- a/common.h
+++ b/common.h
@@ -13,9 +13,9 @@
 extern int model_out;
 
 #define model_print(fmt, ...) do { \
-		char mprintbuf[256];                                                \
-		int printbuflen=snprintf_(mprintbuf, 256, fmt, ## __VA_ARGS__);     \
-		int lenleft = printbuflen < 256 ? printbuflen : 256;                   \
+		char mprintbuf[2048];                                                \
+		int printbuflen=snprintf_(mprintbuf, 2048, fmt, ## __VA_ARGS__);     \
+		int lenleft = printbuflen < 2048 ? printbuflen : 2048;                   \
 		int totalwritten = 0; \
 		while(lenleft) {                                                    \
 			int byteswritten=write(model_out, &mprintbuf[totalwritten], lenleft); \