fix broken test

2013-06-30 05:06:46 -05:00 · 2013-06-30 05:06:46 -05:00 · a8731609f1
commit a8731609f1
parent 8d9a859d7a
1 changed files with 1 additions and 1 deletions
--- 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