Shorten heading, making it more general

Note that the section describes both 'choices' and 'choicesAllMatching'.
phannebohm · Jan 25, 2022 · f8ed322 · f8ed322
1 parent 763af2b
commit f8ed322
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chapters/inheritance.tex b/chapters/inheritance.tex
@@ -983,7 +983,7 @@ \subsection{Restrictions on Redeclarations}\label{restrictions-on-redeclarations
   \end{nonnormative}
 \end{itemize}
 
-\subsection{Annotation Choices for Suggested Redeclarations and Modifications}\label{annotation-choices-for-suggested-redeclarations-and-modifications}
+\subsection{Annotations for Redeclaration and Modification}\label{annotation-choices-for-suggested-redeclarations-and-modifications}
 
 A declaration can have an annotation \fmtannotationindex{choices} containing modifiers on \lstinline!choice!, where each of them indicates a suitable redeclaration or modifications of the element.