From a8731609f1daa56a67ec57fda4fcc6f2cdfb09c2 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 30 Jun 2013 05:06:46 -0500
Subject: [PATCH] fix broken test

---
 pkgs/redex/tests/tl-test.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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