fix compilation error for RAW version

diff --git a/Robust/src/Runtime/socket.c b/Robust/src/Runtime/socket.c
index e8aae96d179ab8320e56cb67df326cea0299cbda..36ab172c7d5c97f5396e9dce71fa18c331eb6888 100644 (file)
--- a/Robust/src/Runtime/socket.c
+++ b/Robust/src/Runtime/socket.c
@@ -6,9 +6,9 @@
 #include <arpa/inet.h>
 #include <strings.h>
 #include <netdb.h>
+#include <netinet/tcp.h>
 #endif
 #include <errno.h>
-#include <netinet/tcp.h>
 #include "SimpleHash.h"
 #include "GenericHashtable.h"