From e4f731595f83d9ce21f4d6dbdd922e1561ad6a2f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 23 Nov 2003 20:11:09 +0000
Subject: Reference

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

(limited to 'doc')

diff --git a/doc/Cases.tex b/doc/Cases.tex
index ad7e6853c9..06dd10d7d8 100644
--- a/doc/Cases.tex
+++ b/doc/Cases.tex
@@ -1,7 +1,7 @@
 \achapter{Extended pattern-matching}\defaultheaders
 \aauthor{Cristina Cornes}
 
-\label{Mult-Cases-full}
+\label{Mult-match-full}
 \ttindex{Cases}
 \index{ML-like patterns}
 
@@ -31,7 +31,7 @@ does and {\sl identifier} is bound to the matched value.  A list of
 patterns is also considered as a pattern and is called {\em multiple
 pattern}.
 
-Notice also the annotation is mandatory when the sequence of equation is
+Notice also that the annotation is mandatory when the sequence of equation is
 empty.
 
 \begin{figure}[t]
-- 
cgit v1.2.3