Flush *stdout* upon unhandled exception.

* unwind.c (uw_unwind_to_exit_point): Prior to printing
diagnostics related to an unhandled exception to std_error,
flush std_output. This clarifies the output in situations when
both std_error and std_output go to the same destination, and
the exception occurred while producing output on std_output.

1 files changed, 1 insertions, 0 deletions

diff --git a/unwind.c b/unwind.c
index 6fc2720e..9377fdd3 100644
--- a/unwind.c
+++ b/unwind.c
@@ -112,6 +112,7 @@ static void uw_unwind_to_exit_point(void)
     if (opt_loglevel >= 1) {
       val prefix = format(nil, lit("~a:"), prog_string, nao);
 
+      flush_stream(std_output);
       format(std_error, lit("~a unhandled exception of type ~a:\n"),
              prefix, sym, nao);