Markup error: braces not properly marked in dictionary display
grammer productions. Fixes SF bug #520959.
This commit is contained in:
parent
f275803fe9
commit
83d14c12a6
|
@ -211,7 +211,7 @@ enclosed in curly braces:
|
||||||
|
|
||||||
\begin{productionlist}
|
\begin{productionlist}
|
||||||
\production{dict_display}
|
\production{dict_display}
|
||||||
{"{" [\token{key_datum_list}] "}"}
|
{"\{" [\token{key_datum_list}] "\}"}
|
||||||
\production{key_datum_list}
|
\production{key_datum_list}
|
||||||
{\token{key_datum} ("," \token{key_datum})* [","]}
|
{\token{key_datum} ("," \token{key_datum})* [","]}
|
||||||
\production{key_datum}
|
\production{key_datum}
|
||||||
|
|
Loading…
Reference in New Issue