diff options
| author | Florian Pelz <pelzflorian@pelzflorian.de> | 2018-04-27 16:48:50 +0200 |
|---|---|---|
| committer | Florian Pelz <pelzflorian@pelzflorian.de> | 2018-04-27 16:48:50 +0200 |
| commit | ecb78b07ad2a4f3f6a8d9732b6ca4a2118973f9b (patch) | |
| tree | 67e515aaa57339b4f19e0cd145314b5610384a47 | |
| parent | b195040aa9a449ed2747fd4bc64210a197eaf837 (diff) | |
Fix R5RS formatting of space character syntax.
* doc/r5rs/r5rs.texi: Remove space at bad position.
| -rw-r--r-- | doc/r5rs/r5rs.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/r5rs/r5rs.texi b/doc/r5rs/r5rs.texi index 5537fed3f..56e7bd221 100644 --- a/doc/r5rs/r5rs.texi +++ b/doc/r5rs/r5rs.texi @@ -5596,9 +5596,9 @@ If @r{<character>} in #\@r{<character>} is alphabetic, then the character following @r{<character>} must be a delimiter character such as a space or parenthesis. This rule resolves the ambiguous case where, for -example, the sequence of characters ``@t{#\ space}'' +example, the sequence of characters ``@t{#\space}'' could be taken to be either a representation of the space character or a -representation of the character ``@t{#\ s}'' followed +representation of the character ``@t{#\s}'' followed by a representation of the symbol ``@t{pace}.'' @ignore todo |