diff options
Diffstat (limited to 'doc/reference/ReferencePart.tex')
| -rw-r--r-- | doc/reference/ReferencePart.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index c7b339940b..5ad42480d7 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -3385,7 +3385,7 @@ of $==$) to it. It's type must conform to the expected type of the pattern. A {\em named pattern constant} $r$ is a stable identifier -(\sref{sec:stableids}). To resolve the syntactic overlap with a +(\sref{sec:stable-ids}). To resolve the syntactic overlap with a variable pattern, a named pattern constant may not be a simple name starting with a lower-case letter. The type of $r$ must conform to the expected type of the pattern. The pattern matches any value $v$ |