diff options
author | Ludovic Courtès <ludo@gnu.org> | 2011-09-27 18:00:20 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2011-09-27 18:00:20 +0200 |
commit | 58b5a2d4e10d2afb34dfcb086d2550e936800b3f (patch) | |
tree | 6f60236e2ff0a6e96c2ff38b7f50f4c3a58ee97f /doc/ref/match.texi | |
parent | 7a1e193710ff3efa63ddd665a627c682ccec5ce6 (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.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: |