From 312d8d5d05cbe1258ea748bb029274ec41734943 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 25 Jul 2014 23:53:23 -0500 Subject: [PATCH] fix test --- pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt index dbb02af657..16ac43a07c 100644 --- 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))