From 09840601c468d8e21325af0175ca36f1b274e156 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Fri, 24 Jan 2014 17:11:52 +0900
Subject: [PATCH] fflush buffer in pic_debug

---
 src/write.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/write.c b/src/write.c
index 17957185..026cb391 100644
--- a/src/write.c
+++ b/src/write.c
@@ -156,6 +156,7 @@ void
 pic_debug(pic_state *pic, pic_value obj)
 {
   write(pic, obj);
+  fflush(stdout);
 }
 
 static pic_value