Fix symbol in grammar; this should fix some hyperlinking in the HTML

version.

diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex
index 8fa94de472d1e7de3b72f04a63860cc1bcbb81f4..4651fd024f9e369f053ea157e2520a72181943c7 100644 (file)
--- a/Doc/ref/ref6.tex
+++ b/Doc/ref/ref6.tex
@@ -62,7 +62,7 @@ Assert statements\stindex{assert} are a convenient way to insert
 debugging assertions\indexii{debugging}{assertions} into a program:
 
 \begin{productionlist}
-  \production{assert_statement}
+  \production{assert_stmt}
              {"assert" \token{expression} ["," \token{expression}]}
 \end{productionlist}