Remove redundant language=grammar since given by synopsis.

henrikt-ma · Oct 12, 2020 · 4323e9d · 4323e9d
1 parent 1aebdc8
commit 4323e9d
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/chapters/annotations.tex b/chapters/annotations.tex
@@ -120,7 +120,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{center}
 
 \begin{annotationdefinition}[Evaluate]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "Evaluate" "=" ( false | true )
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
@@ -137,7 +137,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{annotationdefinition}
 
 \begin{annotationdefinition}[HideResult]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "HideResult" "=" ( false | true )
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
@@ -154,7 +154,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{annotationdefinition}
 
 \begin{annotationdefinition}[Inline]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "Inline" "=" ( false | true )
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
@@ -171,7 +171,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{annotationdefinition}
 
 \begin{annotationdefinition}[LateInline]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "LateInline" "=" ( false | true )
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
@@ -198,7 +198,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{annotationdefinition}
 
 \begin{annotationdefinition}[InlineAfterIndexReduction]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "InlineAfterIndexReduction" "=" ( false | true )
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
@@ -209,7 +209,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{annotationdefinition}
 
 \begin{annotationdefinition}[GenerateEvents]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "GenerateEvents" "=" ( false | true )
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
@@ -224,7 +224,7 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation}
 \end{annotationdefinition}
 
 \begin{annotationdefinition}[smoothOrder]
-\begin{synopsis}[grammar]\begin{lstlisting}[language=grammar]
+\begin{synopsis}[grammar]\begin{lstlisting}
 "smoothOrder" "=" UNSIGNED-NUMBER ")"
 "smoothOrder" "(" "normallyConstant" "=" IDENT
             { "," "normallyConstant" "=" IDENT } ")" "=" UNSIGNED-NUMBER ")"