Flush the same port we write to.

This commit is contained in:
Vincent St-Amour 2015-10-21 16:37:40 -05:00
parent aa46d1bc10
commit c3aa266bee

View File

@ -263,7 +263,7 @@ void
scheme_debug_print (Scheme_Object *obj) scheme_debug_print (Scheme_Object *obj)
{ {
scheme_write(obj, scheme_orig_stdout_port); scheme_write(obj, scheme_orig_stdout_port);
fflush (stdout); scheme_flush_output(scheme_orig_stdout_port);
} }
static void *print_to_port_k(void) static void *print_to_port_k(void)