Added linux builtin type in inet.h to unix library.

[splint.git] / lib / unix.h

diff --git a/lib/unix.h b/lib/unix.h
index 627bb30693d7adad22a9a73a0b923e0c1c9af1dc..4006d32ff3e72985ae38e9c4ca056aa26b379d90 100644 (file)
--- a/lib/unix.h
+++ b/lib/unix.h
@@ -455,6 +455,7 @@ typedef /*@unsignedintegraltype@*/ sa_family_t;
 ** (updated 26 May 2002)
 */
 
+typedef /*@unsignedintegraltype@*/ __socklen_t; /* not in USB, but needed by linux */
 typedef /*@unsignedintegraltype@*/ socklen_t;
 
 struct sockaddr {