diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
index dbb02af657..16ac43a07c 100644
--- a/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
@@ -2790,7 +2790,8 @@
     (define-values (_ cpu real gc)
       (time-apply
        (λ ()
-         (judgment-holds (J ,(build-list 100 add1))))))
+         (judgment-holds (J ,(build-list 100 add1))))
+       '()))
     (test (< cpu 1000) #t))