diff --git a/pkgs/redex/tests/tl-test.rkt b/pkgs/redex/tests/tl-test.rkt
index 3fd76c4b75..d7092af851 100644
--- a/pkgs/redex/tests/tl-test.rkt
+++ b/pkgs/redex/tests/tl-test.rkt
@@ -137,7 +137,7 @@
     (define-language L
       [Cv (name n variable-not-otherwise-mentioned)])
     (test (redex-match L Cv (term ())) #f)
-    (test (pair? (redex-match L Cv (term x))) #f))
+    (test (pair? (redex-match L Cv (term x))) #t))
   
   (let ()
     (define-language lang