diff options
Diffstat (limited to 'man/ocamlc.m')
| -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 c102db1bcd..d6f6eb8729 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -752,7 +752,7 @@ mentioned here corresponds to the empty set. .IP The default setting is -.BR \-w\ +a\-4\-6\-9\-27\-29\-32..39 . +.BR \-w\ +a\-4\-6\-9\-27\-29\-32..39\-41 . Note that warnings .BR 5 \ and \ 10 are not always triggered, depending on the internals of the type checker. |