diff --git a/doc/ref/match.texi b/doc/ref/match.texi
index 05e6642ff..d1618ce6e 100644
--- a/doc/ref/match.texi
+++ b/doc/ref/match.texi
@@ -129,7 +129,6 @@ pat ::= identifier                      anything, and binds identifier
 ooo ::= ...                             zero or more
       | ___                             zero or more
       | ..1                             1 or more
-      | __1                             1 or more
 
         quasi-patterns:                 matches: