From 6eec3629e9cd949545a9ff0be090100cd4301020 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Wed, 25 Jun 2014 17:24:42 +0900
Subject: [PATCH] use xprintf instead of printf

---
 src/write.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/write.c b/src/write.c
index 952bf436..4aae7e44 100644
--- a/src/write.c
+++ b/src/write.c
@@ -440,8 +440,8 @@ pic_printf(pic_state *pic, const char *fmt, ...)
 
   va_end(ap);
 
-  printf("%s", pic_str_cstr(str));
-  fflush(stdout);
+  xprintf("%s", pic_str_cstr(str));
+  xfflush(xstdout);
 }
 
 static pic_value