From e29a6555392664b5723da7bcfe5b5a8f04eb4b6b Mon Sep 17 00:00:00 2001
From: barras
Date: Tue, 6 Apr 2004 18:42:54 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8541 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan-gal.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/RefMan-gal.tex b/doc/RefMan-gal.tex
index a73f4f18a3..543b3fb829 100644
--- a/doc/RefMan-gal.tex
+++ b/doc/RefMan-gal.tex
@@ -381,7 +381,6 @@ subclass of the syntactic class {\term}.
 \index{specif@{\specif}}
 \item {\Type} is the type of {\Set} and {\Prop}
 \end{itemize}
-More on sorts can be found in section~\ref{Sorts}.
 \noindent More on sorts can be found in section \ref{Sorts}.
 
 \subsection{Binders
-- 
cgit v1.2.3