diff options
Diffstat (limited to 'Doc/ref/ref5.tex')
| -rw-r--r-- | Doc/ref/ref5.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex index 6005f51..8101cb9 100644 --- a/Doc/ref/ref5.tex +++ b/Doc/ref/ref5.tex @@ -211,7 +211,7 @@ enclosed in curly braces: \begin{productionlist} \production{dict_display} - {"{" [\token{key_datum_list}] "}"} + {"\{" [\token{key_datum_list}] "\}"} \production{key_datum_list} {\token{key_datum} ("," \token{key_datum})* [","]} \production{key_datum} |