summaryrefslogtreecommitdiff
path: root/otherlibs/unix
diff options
context:
space:
mode:
authorNangah Amandine <amandinenangah1@gmail.com>2022-10-11 13:14:37 +0100
committerGitHub <noreply@github.com>2022-10-11 14:14:37 +0200
commit403dabf22061b749098927cf44fd4d440bd138d2 (patch)
tree0c52126d05b7a822da29adace939cecad8eb8521 /otherlibs/unix
parentcd36f15da9916549eaa73ae9d9d0d2a1af581bb9 (diff)
downloadocaml-403dabf22061b749098927cf44fd4d440bd138d2.tar.gz
documentation: changed 'forks' to 'creates' (#11614)
Diffstat (limited to 'otherlibs/unix')
-rw-r--r--otherlibs/unix/unix.mli2
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.