fix test

2014-07-25 23:53:23 -05:00 · 2014-07-25 23:53:23 -05:00 · 312d8d5d05
commit 312d8d5d05
parent 804b558e05
1 changed files with 2 additions and 1 deletions
--- a/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
@ -2790,7 +2790,8 @@
    (define-values (_ cpu real gc)
      (time-apply
       (λ ()
-         (judgment-holds (J ,(build-list 100 add1))))))
+         (judgment-holds (J ,(build-list 100 add1))))
+       '()))
    (test (< cpu 1000) #t))