From 5e9ddfe69c0f5ce19e862cdfff18325d9bba2f3d Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Tue, 25 Jan 2022 21:52:16 +0100 Subject: [PATCH] Drop redundant part of headings The dropped parts are redundant in view of the heading one level above. --- chapters/classes.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/chapters/classes.tex b/chapters/classes.tex index 15d84bf67..529d492d9 100644 --- a/chapters/classes.tex +++ b/chapters/classes.tex @@ -101,7 +101,7 @@ \section{Component Declarations}\label{component-declarations} A \firstuse{component} or \firstuse{variable} is an instance (object) generated by a component declaration. Special kinds of components are scalar, array, and attribute. -\subsection{Syntax of Component Declarations}\label{syntax-of-component-declarations}\label{syntax-and-examples-of-component-declarations} +\subsection{Syntax}\label{component-declaration-syntax}\label{syntax-and-examples-of-component-declarations} The formal syntax of a component declaration clause is given by the following syntactic rules: \begin{lstlisting}[language=grammar] @@ -157,7 +157,7 @@ \subsection{Syntax of Component Declarations}\label{syntax-of-component-declarat \end{lstlisting} \end{nonnormative} -\subsection{Static Semantics of Component Declaration}\label{static-semantics-of-component-declaration}\label{component-declaration-static-semantics} +\subsection{Static Semantics}\label{component-declaration-static-semantics} If the \lstinline[language=grammar]!type-specifier! of the component declaration denotes a built-in type (\lstinline!RealType!, \lstinline!IntegerType!, etc.), the flattened or instantiated component has the same type.