From fb18d8556918874a7fd27ea3b08433c5599d21c5 Mon Sep 17 00:00:00 2001
From: Stephen Dolan <sdolan@janestreet.com>
Date: Mon, 25 May 2020 09:59:00 +0100
Subject: [PATCH] Remove broken link to Pervasives

---
 manual/manual/library/core.etex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/manual/library/core.etex b/manual/manual/library/core.etex
index 3d9816332..d30f0d4d2 100644
--- a/manual/manual/library/core.etex
+++ b/manual/manual/library/core.etex
@@ -27,7 +27,7 @@ indexed at the end of this report.
 \section{s:stdlib-module}{Module {\tt Stdlib}: the initially opened module}
 \begin{links}
 \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}
 \else
 {