From 19a8a1a02afa6ad67c8cc1e51f7565214069222a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 16 Sep 2019 20:39:09 +0200 Subject: [PATCH] fix double-space --- src/tokens.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tokens.md b/src/tokens.md index 937635144..649bee435 100644 --- a/src/tokens.md +++ b/src/tokens.md @@ -151,7 +151,7 @@ A _string literal_ is a sequence of any Unicode characters enclosed within two which must be _escaped_ by a preceding `U+005C` character (`\`). Line-breaks are allowed in string literals. A line-break is either a newline -(`U+000A`) or a pair of carriage return and newline (`U+000D`, `U+000A`). Both +(`U+000A`) or a pair of carriage return and newline (`U+000D`, `U+000A`). Both byte sequences are normally translated to `U+000A`, but as a special exception, when an unescaped `U+005C` character (`\`) occurs immediately before the line-break, the `U+005C` character, the line-break, and all whitespace at the