Repair jv_show

diff --git a/jv_print.c b/jv_print.c
index 7a20b3edfe03e943676787d961198b82f56393a4..1d38de8bd38b7c3fc5f13d44dc9499479ec5241a 100644 (file)
--- a/jv_print.c
+++ b/jv_print.c
@@ -273,8 +273,9 @@ void jv_dump(jv x, int flags) {
 
 void jv_show(jv x, int flags) {
   if (flags == -1)
-    flags = JV_PRINT_PRETTY | JV_PRINT_COLOUR | JV_PRINT_UNBUFFERED;
+    flags = JV_PRINT_PRETTY | JV_PRINT_COLOUR;
   jv_dumpf(jv_copy(x), stderr, flags);
+  fflush(stderr);
 }
 
 jv jv_dump_string(jv x, int flags) {