diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-13 14:20:48 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-13 14:20:48 +0000 |
commit | 15c43b7ee1a6f2271c75cf9c6b34b47a73930e1c (patch) | |
tree | 1d2544df4c95fb9bb82b4a744702e6e06b0a60c0 /man/ocamlopt.m | |
parent | 5ed995f789af14f4ae05c7a6bfefe8939d5c1db6 (diff) |
Doc -labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocamlopt.m')
-rw-r--r-- | man/ocamlopt.m | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 72167483c..459919d50 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -19,7 +19,7 @@ ocamlopt \- The Objective Caml native-code compiler .B \-compact ] [ -.B \-modern +.B \-labels ] [ .B \-unsafe @@ -220,8 +220,8 @@ is saved in the file Print the version number of the compiler. .TP -.B \-modern -Switch to the modern semantics for application. Arguments should be +.B \-labels +Switch to ``commuting label mode''. Arguments must be explicitly labeled by labels appearing in types. Arguments with different labels may commute freely. |