From 4c021bc57fda82fc97ae1e10768c8b59f6f85285 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Feb 2007 18:54:55 +0000
Subject: Relecture/nettoyage chapitre Gallina; déplacement section Function
 dans extensions de Gallina. Divers. (report revisions 9614 et 9594 de la
 branche 8.1 vers le trunk)

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

(limited to 'doc/refman/Cases.tex')

diff --git a/doc/refman/Cases.tex b/doc/refman/Cases.tex
index dfe9e94c23..c8eb76c27c 100644
--- a/doc/refman/Cases.tex
+++ b/doc/refman/Cases.tex
@@ -277,6 +277,7 @@ The previous examples illustrate pattern matching on objects of
 non-dependent types, but we can also 
 use the expansion strategy to destructure objects of dependent type.
 Consider the type \texttt{listn} of lists of a certain length:
+\label{listn}
 
 \begin{coq_example}
 Inductive listn : nat -> Set :=
-- 
cgit v1.2.3