diff options
-rw-r--r-- | doc/ref/match.texi | 1 |
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: |