diff options
Diffstat (limited to 'doc/Cases.tex')
| -rw-r--r-- | doc/Cases.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Cases.tex b/doc/Cases.tex index 5b218e83e7..cb9ff0963b 100644 --- a/doc/Cases.tex +++ b/doc/Cases.tex @@ -1,4 +1,4 @@ -\achapter{ML-style pattern-matching}\defaultheaders +\achapter{Extended pattern-matching}\defaultheaders \aauthor{Cristina Cornes} \label{Mult-Cases-full} |