summaryrefslogtreecommitdiff
path: root/stdlib/arg.mli
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-11-04 19:44:57 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2016-11-04 19:44:57 +0100
commit67f4c2b66367d6a6f4c763f77d7b05fa9feee410 (patch)
tree3e03be9904577bd08536387d4dd27d86cafa8f6e /stdlib/arg.mli
parent17efc322537f6cc1cd07cc5d93d94733fcd41145 (diff)
downloadocaml-67f4c2b66367d6a6f4c763f77d7b05fa9feee410.tar.gz
Terminated instead of seperated.
Diffstat (limited to 'stdlib/arg.mli')
-rw-r--r--stdlib/arg.mli10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/arg.mli b/stdlib/arg.mli
index dd6e3d88a9..b68097b0a2 100644
--- a/stdlib/arg.mli
+++ b/stdlib/arg.mli
@@ -181,18 +181,18 @@ val current : int ref
at the next element. *)
val read_arg: string -> string array
-(** [Arg.read_arg file] reads newline separated command line arguments from
+(** [Arg.read_arg file] reads newline-terminated command line arguments from
file [file]. *)
val read_arg0: string -> string array
-(** Identical to {!Arg.read_arg} but assumes null character separated command line
+(** Identical to {!Arg.read_arg} but assumes null character terminated command line
arguments. *)
val write_arg: string -> string array -> unit
-(** [Arg.write_arg file args] writes the arguments [args] newline separated
+(** [Arg.write_arg file args] writes the arguments [args] newline-terminated
into the file [file]. If the any of the arguments in [args] contains a
newline, use {!Arg.write_arg0} instead. *)
val write_arg0: string -> string array -> unit
-(** Identical to {!Arg.write_arg} but uses the null character as separator instead
- of newline. *)
+(** Identical to {!Arg.write_arg} but uses the null character for terminator
+ instead of newline. *)