summaryrefslogtreecommitdiff
path: root/doc/ref/match.texi
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2011-09-27 18:00:20 +0200
committerLudovic Courtès <ludo@gnu.org>2011-09-27 18:00:20 +0200
commit58b5a2d4e10d2afb34dfcb086d2550e936800b3f (patch)
tree6f60236e2ff0a6e96c2ff38b7f50f4c3a58ee97f /doc/ref/match.texi
parent7a1e193710ff3efa63ddd665a627c682ccec5ce6 (diff)
doc: (ice-9 match) doesn't have `__1'.
* doc/ref/match.texi (Pattern Matching): Remove `__1', which doesn't exist. Thanks to Chris K. Jester-Young.
Diffstat (limited to 'doc/ref/match.texi')
-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: