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