diff options
| -rw-r--r-- | src/doc/grammar.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/doc/grammar.md b/src/doc/grammar.md index 4017c84c9b4..ee9135b6578 100644 --- a/src/doc/grammar.md +++ b/src/doc/grammar.md @@ -116,9 +116,9 @@ as long as the identifier does _not_ occur in the set of [keywords](#keywords). Some productions are defined by exclusion of particular Unicode characters: - `non_null` is any single Unicode character aside from `U+0000` (null) -- `non_eol` is `non_null` restricted to exclude `U+000A` (`'\n'`) -- `non_single_quote` is `non_null` restricted to exclude `U+0027` (`'`) -- `non_double_quote` is `non_null` restricted to exclude `U+0022` (`"`) +- `non_eol` is any single Unicode character aside from `U+000A` (`'\n'`) +- `non_single_quote` is any single Unicode character aside from `U+0027` (`'`) +- `non_double_quote` is any single Unicode character aside from `U+0022` (`"`) ## Comments |