From ab500ea0cb4a77a9e2661bc8c805feea31827cbc Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 25 Jun 2018 14:50:38 +0100
Subject: flush stdout after putchar for terminal emulation purposes.

---
 lib/sail.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

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;
 }
 
-- 
cgit v1.2.3