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")