diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2010-01-22 09:47:10 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2010-01-22 09:47:10 +0000 |
commit | 869dad0eccd120930ea3a1190409b01820636ca4 (patch) | |
tree | 5fcf3904516acfe7f35a00ca89d123b900718200 | |
parent | 1ade5178c2c2f4e19bb888a9ae833993281c5615 (diff) | |
download | ocaml-869dad0eccd120930ea3a1190409b01820636ca4.tar.gz |
Warning for invalid record construction error is suppressed.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dothat@9545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | man/ocamlopt.m | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 5807943e19..3a17c4f49e 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -591,11 +591,6 @@ have type 22 \ \ Camlp4 warning. -23 -\ \ Useless record -.B with -clause. - 24 \ \ Bad module name: the source file name is not a valid OCaml module name. @@ -652,7 +647,7 @@ mentioned here corresponds to the empty set. \ 13 .B X -\ 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25 +\ 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25 .B Y \ 26 |