Merge section "Annotation for External Libraries and Include Files" w…

…ith section above

chapters/annotations.tex

@@ -2163,14 +2163,9 @@ \section{Annotations for Functions}\label{annotations-for-functions}
 
 Annotations related to functions inlining and event generation are described in \cref{function-inlining-and-event-generation}.
 
-Annotations related to external functions functions are described in \cref{annotations-for-external-libraries-and-include-files}.
+Annotations related to external functions functions and external libraries are described in \cref{annotations-for-external-libraries-and-include-files}.
 
 
 \section{Annotation Choices for Modifications and Redeclarations}\label{annotation-choices-for-modifications-and-redeclarations}
 
 See \cref{annotation-choices-for-suggested-redeclarations-and-modifications}.
-
-
-\section{Annotation for External Libraries and Include Files}\label{annotation-for-external-libraries-and-include-files}
-% Isn't this section silly considering that the same link was given above under "External Function Annotations"?
-See \cref{annotations-for-external-libraries-and-include-files}.