diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/lispref/searching.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/lispref/searching.texi b/doc/lispref/searching.texi index 1a090ebe101..83c154938cd 100644 --- a/doc/lispref/searching.texi +++ b/doc/lispref/searching.texi | |||
| @@ -1021,8 +1021,8 @@ or, using shorter synonyms and written more compactly, | |||
| 1021 | @example | 1021 | @example |
| 1022 | @group | 1022 | @group |
| 1023 | (rx "/*" | 1023 | (rx "/*" |
| 1024 | (* (| (not (any "*")) | 1024 | (* (| (not "*") |
| 1025 | (: "*" (not (any "/"))))) | 1025 | (: "*" (not "/")))) |
| 1026 | (+ "*") "/") | 1026 | (+ "*") "/") |
| 1027 | @end group | 1027 | @end group |
| 1028 | @end example | 1028 | @end example |