| commit | 83d14c12a6f30a612f8bb1306ad88252342124f9 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Sat Mar 16 06:35:54 2002 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Sat Mar 16 06:35:54 2002 +0000 |
| tree | 98b4dffaacfb92b12edb881242b93708b58ac1ad | |
| parent | f275803fe9839218afec165a51d0e7217964d248 [diff] [blame] |
Markup error: braces not properly marked in dictionary display grammer productions. Fixes SF bug #520959.
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 @@ \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}