X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_socket.c;h=acf881dd23d33fc3e06c3e0eb6bf93f9ea3a1134;hb=5f0b4f8c5f9f53cea37dde072b37d09ba316487d;hp=15a30cd699d2ca111d26e8770fa34b4b0443bfca;hpb=9e5466cf32b157becd1f7d429bf687a1a14d544a;p=palacios.git

diff --git a/palacios/src/palacios/vmm_socket.c b/palacios/src/palacios/vmm_socket.c
index 15a30cd..acf881d 100644
--- a/palacios/src/palacios/vmm_socket.c
+++ b/palacios/src/palacios/vmm_socket.c
@@ -21,13 +21,12 @@
 #include <palacios/vmm_socket.h>
 #include <palacios/vmm.h>
 #include <palacios/vmm_debug.h>
-#include <palacios/vmm_stddef.h>
+#include <palacios/vmm_types.h>
 
 
 struct v3_socket_hooks * sock_hooks = 0;
 
 void V3_Init_Sockets(struct v3_socket_hooks * hooks) {
-    PrintInfo("Initializing Socket Interface\n");
     sock_hooks = hooks;
     PrintDebug("V3 sockets inited\n");