diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt
index d68ced8d4f..df64b913be 100644
--- a/collects/redex/tests/tl-test.rkt
+++ b/collects/redex/tests/tl-test.rkt
@@ -531,6 +531,13 @@
     (test (term (g 11 17)) 11)
     (test (term (h 11 17)) 11))
   
+  (let ()
+    (define-metafunction empty-language
+      [(f any) 1])
+    (define-metafunction/extension f empty-language
+      [(g any) 2])
+    (test (term (g 0)) 2))
+  
   (let ()
     (define-metafunction empty-language
       [(f (number_1 number_2))