Remove broken link to Pervasives

master
Stephen Dolan 2020-05-25 09:59:00 +01:00
parent 6b214f5138
commit fb18d85569
1 changed files with 1 additions and 1 deletions

View File

@ -27,7 +27,7 @@ indexed at the end of this report.
\section{s:stdlib-module}{Module {\tt Stdlib}: the initially opened module} \section{s:stdlib-module}{Module {\tt Stdlib}: the initially opened module}
\begin{links} \begin{links}
\item \ahref{libref/Stdlib.html}{Module \texttt{Stdlib}: the initially opened module} \item \ahref{libref/Stdlib.html}{Module \texttt{Stdlib}: the initially opened module}
\item \ahref{libref/Pervasives.html}{Module \texttt{Pervasives}: deprecated alias for Stdlib} \item Module \texttt{Pervasives}: deprecated alias for Stdlib
\end{links} \end{links}
\else \else
{ {