Fix:

[ 1207501 ] Issue in grammar

We didn't define dotted_name in the pseudo-grammar in the reference
docs.  Backport candidate.

1 files changed, 2 insertions, 0 deletions

diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex
index a285c4ce34..535ed95559 100644
--- a/Doc/ref/ref7.tex
+++ b/Doc/ref/ref7.tex
@@ -323,6 +323,8 @@ section~\ref{types}):
              {\token{decorator}+}
   \production{decorator}
              {"@" \token{dotted_name} ["(" [\token{argument_list} [","]] ")"] NEWLINE}
+  \production{dotted_name}
+             {\token{identifier} ("." \token{identifier})*}
   \production{parameter_list}
                  {(\token{defparameter} ",")*}
   \productioncont{(~~"*" \token{identifier} [, "**" \token{identifier}]}