diff --git a/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
index a31414bd..1378ab2c 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/info.rkt
@@ -6,7 +6,7 @@
                      "compatibility-lib"
                      "rackunit-lib"
                      "compiler-lib"
-                     "redex"
+                     "redex-lib"
                      "sandbox-lib"
                      "unstable-flonum-lib"
                      "unstable"))