summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-12 07:54:35 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-12 07:54:35 +0000
commit070f6559f3b11da304fbb4005582cd308767771c (patch)
tree4539635180c82ea9c78904db2d2c235b4ea19415
parent780b65fca6ed06966864d76755dc1dad94c39ade (diff)
pas de mot-cles dans les labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--otherlibs/systhreads/threadUnix.mli2
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 ->