diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt
index 3684c5d138..52543da215 100644
--- a/collects/redex/tests/tl-test.rkt
+++ b/collects/redex/tests/tl-test.rkt
@@ -549,7 +549,8 @@
     (define-metafunction/extension f empty-language
       [(g any) 2])
     (test (term (g 0)) 2))
-  
+
+  #:
   (let ()
     (define-language L 
       (v 1 (v)))
@@ -2118,4 +2119,4 @@
     (test-bad-equiv-arg test-->>))
 
   (print-tests-passed 'tl-test.ss)
-  
\ No newline at end of file
+