NoDuplicate

chapters/inheritance.tex

@@ -223,7 +223,7 @@ \subsection{Restrictions on the Kind of Base Class}\label{restrictions-on-the-ki
 \end{lstlisting}
 \end{example}
 
-\subsection{Transitively Non-Replaceable}\label{restrictions-on-base-classes-and-constraining-types-to-be-transitively-non-replaceable}\label{transitively-non-replaceable}
+\subsection{Require Transitively Non-Replaceable}\label{restrictions-on-base-classes-and-constraining-types-to-be-transitively-non-replaceable}\label{require-transitively-non-replaceable}
 
 The class name used after \lstinline!extends! for base classes and for constraining classes must use a class reference considered transitively non-replaceable, see definition in \cref{transitively-non-replaceable}.
 For a replaceable component declaration without \lstinline[language=grammar]!constraining-clause! the class must use a class reference considered transitively non-replaceable.