Backport fix to decorator grammar update.

diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex
index 5e50a74e2a9289361b93335bb9560930cef51770..86892aeae1ce670637c62fbe700f38367a6dbd27 100644 (file)
--- 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}]}