From f324fecbe1012e4ac79358e36d3f7d4bef2f62d7 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Fri, 26 Apr 2013 14:16:36 -0400
Subject: [PATCH] Explicitly flush output after printing random testing seed.

original commit: 056a6044e59a9a44ea4acac1d682e5824583b2d6
---
 collects/tests/typed-racket/tr-random-testing.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/tests/typed-racket/tr-random-testing.rkt b/collects/tests/typed-racket/tr-random-testing.rkt
index 3e9628cc..5d2c5295 100644
--- a/collects/tests/typed-racket/tr-random-testing.rkt
+++ b/collects/tests/typed-racket/tr-random-testing.rkt
@@ -259,6 +259,7 @@
 
 (random-seed seed)
 (printf "seed: ~s~n" seed)
+(flush-output) ; DrDr doesn't print the above if the testing segfaults.
 
 (call-with-limits
  #f 1000