diff --git a/chapters/annotations.tex b/chapters/annotations.tex index d73ac1842..fe5fde911 100644 --- a/chapters/annotations.tex +++ b/chapters/annotations.tex @@ -226,7 +226,8 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation} \begin{annotationdefinition}[smoothOrder] \begin{synopsis}[grammar]\begin{lstlisting}[language=grammar] "smoothOrder" "=" UNSIGNED-NUMBER ")" -"smoothOrder" "(" "normallyConstant" "=" IDENT [ "," "normallyConstant" "=" IDENT ] ")" "=" UNSIGNED-NUMBER ")" +"smoothOrder" "(" "normallyConstant" "=" IDENT + { "," "normallyConstant" "=" IDENT } ")" "=" UNSIGNED-NUMBER ")" \end{lstlisting}\end{synopsis} \begin{semantics} This annotation has only an effect within a function declaration.