From 081542da3c3792e5adc5fce3b5add51b5b7f1482 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 1 Jun 2013 16:10:04 -0500
Subject: [PATCH] fix tl-test.rkt

---
 collects/redex/tests/tl-test.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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