summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/ref/match.texi1
1 files changed, 0 insertions, 1 deletions
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: