diff options
Diffstat (limited to 'otherlibs/unix/unix.mli')
| -rw-r--r-- | otherlibs/unix/unix.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index eeb5411de..daa3c9d9d 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -165,11 +165,11 @@ val execve : string -> string array -> string array -> 'a environment to the program executed. *) val execvp : string -> string array -> 'a -(** Same as {!Unix.execv} respectively, except that +(** Same as {!Unix.execv}, except that the program is searched in the path. *) val execvpe : string -> string array -> string array -> 'a -(** Same as {!Unix.execvp} respectively, except that +(** Same as {!Unix.execve}, except that the program is searched in the path. *) val fork : unit -> int |