diff options
| -rw-r--r-- | otherlibs/systhreads/threadUnix.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/systhreads/threadUnix.mli b/otherlibs/systhreads/threadUnix.mli index 3f94cd1f3..08f6a4e38 100644 --- a/otherlibs/systhreads/threadUnix.mli +++ b/otherlibs/systhreads/threadUnix.mli @@ -68,7 +68,7 @@ val sleep : int -> unit (*** Sockets *) val socket : domain:Unix.socket_domain -> - type:Unix.socket_type -> proto:int -> Unix.file_descr + kind:Unix.socket_type -> proto:int -> Unix.file_descr val accept : Unix.file_descr -> Unix.file_descr * Unix.sockaddr val connect : Unix.file_descr -> Unix.sockaddr -> unit val recv : Unix.file_descr -> buf:string -> |