diff options
| author | Thomas Refis <refis.thomas@gmail.com> | 2017-07-10 17:18:37 +0100 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2017-07-10 18:18:37 +0200 |
| commit | 1747a2f0ebdda531e7bfa78c23cfc2a8e4e6b5e6 (patch) | |
| tree | fba8a93bd0c7340913f1e3d1281142f9608f2d14 /man | |
| parent | 7ba155b0bde8e5c0b8a481d1a8cac5685fc7693f (diff) | |
| download | ocaml-1747a2f0ebdda531e7bfa78c23cfc2a8e4e6b5e6.tar.gz | |
Mention deprecated warning 25 in manual and man page
* warning 25: updated the man page
* warning 25: update the manual
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlc.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 2976bfccbb..4078b8328e 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -840,7 +840,7 @@ clause. \ \ Bad module name: the source file name is not a valid OCaml module name. 25 -\ \ Pattern-matching with all clauses guarded. +\ \ Deprecated: now part of warning 8. 26 \ \ Suspicious unused variable: unused variable that is bound with |