X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ftelnet_cons.c;h=7bda58b4555a3666a60404b8fcfccfc66ff7af85;hb=d71b19cdb18342f2b761f6d9aac7ec175486e1ba;hp=b1558491fc47531b556c3e08ab1ccc7791ba8e29;hpb=5b1f618cf74dbcd7e490fa3fe4da5a4c53d79b5d;p=palacios.git

diff --git a/palacios/src/devices/telnet_cons.c b/palacios/src/devices/telnet_cons.c
index b155849..7bda58b 100644
--- a/palacios/src/devices/telnet_cons.c
+++ b/palacios/src/devices/telnet_cons.c
@@ -27,7 +27,7 @@
 #include <palacios/vmm_host_events.h>
 #include <palacios/vmm_lock.h>
 #include <palacios/vmm_string.h>
-#include <palacios/vmm_socket.h>
+#include <interfaces/vmm_socket.h>
 
 #include <devices/console.h>