diff options
-rw-r--r-- | doc/reference/ExamplesPart.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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}. |