From 83d14c12a6f30a612f8bb1306ad88252342124f9 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Sat, 16 Mar 2002 06:35:54 +0000
Subject: [PATCH] Markup error: braces not properly marked in dictionary
 display grammer productions. Fixes SF bug #520959.

---
 Doc/ref/ref5.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 6005f51627f..8101cb94653 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}