summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2010-01-22 09:47:10 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2010-01-22 09:47:10 +0000
commit869dad0eccd120930ea3a1190409b01820636ca4 (patch)
tree5fcf3904516acfe7f35a00ca89d123b900718200
parent1ade5178c2c2f4e19bb888a9ae833993281c5615 (diff)
downloadocaml-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.m7
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