From 9d9d226bf6111a70f10c5a81fa73361bc1a3bfc4 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sun, 31 Mar 2013 10:37:22 -0700
Subject: [PATCH] Remove dependency on GUI libraries.

original commit: 5d8f470e0bf7d7b8f0a4a70d822c526265dc5c00
---
 collects/tests/typed-racket/tr-random-testing.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/tests/typed-racket/tr-random-testing.rkt b/collects/tests/typed-racket/tr-random-testing.rkt
index bcf54520..9adcdfba 100644
--- a/collects/tests/typed-racket/tr-random-testing.rkt
+++ b/collects/tests/typed-racket/tr-random-testing.rkt
@@ -2,7 +2,7 @@
 
 ;; Random testing of type preservation for reals.
 
-(require redex
+(require redex/reduction-semantics
          racket/flonum racket/unsafe/ops
          racket/sandbox racket/cmdline
          "random-real.rkt")