From 3371e4627e0eed75b1af852e6ea4dcec31112ac1 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Fri, 27 May 2005 12:33:57 +0000
Subject: - changed 'e.match' to 'e match'.

---
 doc/reference/ExamplesPart.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/reference/ExamplesPart.tex b/doc/reference/ExamplesPart.tex
index 8315cf519a..c23bf4a9b5 100644
--- a/doc/reference/ExamplesPart.tex
+++ b/doc/reference/ExamplesPart.tex
@@ -2103,7 +2103,7 @@ since the pattern variable \code{x} occurs twice in it.
 \paragraph{Meaning of Pattern Matching}
 A pattern matching expression 
 \begin{lstlisting}
-e.match { case p$_1$ => e$_1$ ... case p$_n$ => e$_n$ }
+e match { case p$_1$ => e$_1$ ... case p$_n$ => e$_n$ }
 \end{lstlisting}
 matches the patterns $p_1 \commadots p_n$ in the order they
 are written against the selector value \code{e}.
-- 
cgit v1.2.3