fix tl-test.rkt

2013-06-01 16:10:04 -05:00 · 2013-06-01 16:10:04 -05:00 · 081542da3c
commit 081542da3c
parent a9bfd9c083
1 changed files with 2 additions and 2 deletions
--- 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