Remove dependency on GUI libraries.

2013-03-31 10:37:22 -07:00 · 2013-03-31 10:37:22 -07:00 · 5d8f470e0b
commit 5d8f470e0b
parent eeeceedb8c
1 changed files with 1 additions and 1 deletions
--- 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")