diff options
Diffstat (limited to 'otherlibs/unix/unix.mli')
| -rw-r--r-- | otherlibs/unix/unix.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index b1a866f7a..9a5f57bb9 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -663,7 +663,7 @@ external send : file_descr -> string -> int -> int -> msg_flag list -> int = "unix_send" external sendto : file_descr -> string -> int -> int -> msg_flag list -> sockaddr -> int - = "unix_sendto" + = "unix_sendto" "unix_sendto_native" (* Send data over an unconnected socket. *) |