From c3aa266bee6c39bb4fc2dcfacee6911b340a235b Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 21 Oct 2015 16:37:40 -0500
Subject: [PATCH] Flush the same port we write to.

---
 racket/src/racket/src/print.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/racket/src/racket/src/print.c b/racket/src/racket/src/print.c
index efc1a1df30..e0cb524dea 100644
--- a/racket/src/racket/src/print.c
+++ b/racket/src/racket/src/print.c
@@ -263,7 +263,7 @@ void
 scheme_debug_print (Scheme_Object *obj)
 {
   scheme_write(obj, scheme_orig_stdout_port);
-  fflush (stdout);
+  scheme_flush_output(scheme_orig_stdout_port);
 }
 
 static void *print_to_port_k(void)