summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-11-04 12:50:17 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2016-11-04 12:50:17 +0100
commit17efc322537f6cc1cd07cc5d93d94733fcd41145 (patch)
tree16e937f679666988b0a1931b7b8bd2e451002a96 /driver
parent0c53d67ff80fb3773a1bcf67a4f85a50182a7a5c (diff)
downloadocaml-17efc322537f6cc1cd07cc5d93d94733fcd41145.tar.gz
Use separated/separator and null character.
Diffstat (limited to 'driver')
-rw-r--r--driver/main_args.ml6
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>"
;;