diff options
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 037a90697..69a2b5e48 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -137,7 +137,7 @@ let main () = " Link all modules, even unused ones"; "-noassert", Arg.Set noassert, " Don't compile assertion checks"; "-noautolink", Arg.Set no_auto_link, - " Don't automatically link C libraries specified in .cma files"; + " Don't automatically link C libraries specified in .cmxa files"; "-nolabels", Arg.Set classic, " Ignore non-optional labels in types"; "-nostdlib", Arg.Set no_std_include, " do not add standard directory to the list of include directories"; |