diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-04 12:50:17 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-04 12:50:17 +0100 |
commit | 17efc322537f6cc1cd07cc5d93d94733fcd41145 (patch) | |
tree | 16e937f679666988b0a1931b7b8bd2e451002a96 /driver | |
parent | 0c53d67ff80fb3773a1bcf67a4f85a50182a7a5c (diff) | |
download | ocaml-17efc322537f6cc1cd07cc5d93d94733fcd41145.tar.gz |
Use separated/separator and null character.
Diffstat (limited to 'driver')
-rw-r--r-- | driver/main_args.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index c7097a69cf..cdd95a12fc 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -726,14 +726,14 @@ let mk_no_strict_formats f = let mk_args f = "-args", Arg.Expand f, - "<file> Read additional newline separated command line arguments \n\ + "<file> Read additional newline separated command line arguments\n\ \ from <file>" ;; let mk_args0 f = "-args0", Arg.Expand f, - "<file> Read additional NUL separated command line arguments from \n\ - \ <file>" + "<file> Read additional null character separated command line arguments\n\ + from <file>" ;; |