diff options
author | Nangah Amandine <amandinenangah1@gmail.com> | 2022-10-11 13:14:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-11 14:14:37 +0200 |
commit | 403dabf22061b749098927cf44fd4d440bd138d2 (patch) | |
tree | 0c52126d05b7a822da29adace939cecad8eb8521 /otherlibs/unix | |
parent | cd36f15da9916549eaa73ae9d9d0d2a1af581bb9 (diff) | |
download | ocaml-403dabf22061b749098927cf44fd4d440bd138d2.tar.gz |
documentation: changed 'forks' to 'creates' (#11614)
Diffstat (limited to 'otherlibs/unix')
-rw-r--r-- | otherlibs/unix/unix.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 4bb934ece0..c8fbed5f94 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -840,7 +840,7 @@ val create_process : string -> string array -> file_descr -> file_descr -> file_descr -> int (** [create_process prog args stdin stdout stderr] - forks a new process that executes the program + creates a new process that executes the program in file [prog], with arguments [args]. The pid of the new process is returned immediately; the new process executes concurrently with the current process. |