removed v3 reference from uip header

diff --git a/palacios/include/uip/clock.h b/palacios/include/uip/clock.h
index c607f89..052aa40 100644 (file)
--- a/palacios/include/uip/clock.h
+++ b/palacios/include/uip/clock.h
@@ -52,7 +52,7 @@
 #ifndef __CLOCK_H__
 #define __CLOCK_H__
 
-#include <palacios/vmm_types.h>
+#include <geekos/ktypes.h>
 #include <geekos/timer.h>
 
 #define CLOCK_CONF_SECOND 1000