diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/run-err-tests/metafunction-no-match.rktd b/pkgs/redex-pkgs/redex-test/redex/tests/run-err-tests/metafunction-no-match.rktd
new file mode 100644
index 0000000000..26cab18e27
--- /dev/null
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/run-err-tests/metafunction-no-match.rktd
@@ -0,0 +1,3 @@
+(#rx"∨: no clauses matched"
+ ([mf (∨ #f #t)])
+ (term mf))