From 448e34ea2ccd7f309a9617b60db71b0645cb5c22 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Mon, 6 Aug 2012 12:49:18 +0000
Subject: [PATCH] PR#5712 (2): multiple definitions of label-name

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@12827 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 manual/manual/refman/names.etex | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/manual/manual/refman/names.etex b/manual/manual/refman/names.etex
index c3ee5f0cf..698e96744 100644
--- a/manual/manual/refman/names.etex
+++ b/manual/manual/refman/names.etex
@@ -6,7 +6,7 @@ objects and refer to these objects by name later:
 \begin{itemize}
 \item value names (syntactic class @value-name@),
 \item value constructors and exception constructors (class @constr-name@),
-\item labels (@label-name@),
+\item labels (@label-name@, defined in section~\ref{s:labelname}),
 \item polymorphic variant tags (@tag-name@),
 \item type constructors (@typeconstr-name@),
 \item record fields (@field-name@),
@@ -43,9 +43,6 @@ infix-op:
 constr-name:
         capitalized-ident
 ;
-label-name:
-        lowercase-ident
-;
 tag-name:
         ident
 ;