From 403dabf22061b749098927cf44fd4d440bd138d2 Mon Sep 17 00:00:00 2001 From: Nangah Amandine Date: Tue, 11 Oct 2022 13:14:37 +0100 Subject: documentation: changed 'forks' to 'creates' (#11614) --- otherlibs/unix/unix.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'otherlibs/unix') 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. -- cgit v1.2.1