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 6005f51627fe9c3131f34012de06c46edd4b0bab..8101cb9465322b1c5b688f178757b4f4f3e92209 100644 (file)
--- 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}