1 files changed, 1 insertions, 0 deletions
diff --git a/lib/sail.c b/lib/sail.c
index 66321590..32c944ea 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -990,6 +990,7 @@ unit sail_putchar(const sail_int op)
 {
   char c = (char) mpz_get_ui(op);
   putchar(c);
+  fflush(stdout);
   return UNIT;
 }