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 a476578c736a4a82eef989a472b940258f081713..ba9c182251554ba0d45b59d23e1bad231c8c4340 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}