diff options
Diffstat (limited to 'doc/Cases.tex')
| -rw-r--r-- | doc/Cases.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Cases.tex b/doc/Cases.tex index ad7e6853c..06dd10d7d 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] |