diff options
Diffstat (limited to 'manual/manual/cmds/comp.etex')
| -rw-r--r-- | manual/manual/cmds/comp.etex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/manual/cmds/comp.etex b/manual/manual/cmds/comp.etex index 4ace727955..85745978fa 100644 --- a/manual/manual/cmds/comp.etex +++ b/manual/manual/cmds/comp.etex @@ -835,7 +835,7 @@ match int_of_string count_str with end \end{verbatim} -\item[Warning 57: ambiguous variables in or-patterns] +\item[Warning 57: Ambiguous or-pattern variables under guard] The semantics of or-patterns in OCaml is specified with a left-to-right bias: a value \var{v} matches the pattern \var{p} "|" \var{q} if it matches \var{p} or \var{q}, but if it matches both, |