X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fxed%2Fv3-xed-compat.h;h=a7ee096d6c456baf472ae0f3e3445f8afd58de33;hb=30409ee6691f594c5d8b0a2be0769d163d4c7c1a;hp=9a882daa2c4b49394cb7b1f792bc7b0824b5f757;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios.git

diff --git a/palacios/include/xed/v3-xed-compat.h b/palacios/include/xed/v3-xed-compat.h
index 9a882da..a7ee096 100644
--- a/palacios/include/xed/v3-xed-compat.h
+++ b/palacios/include/xed/v3-xed-compat.h
@@ -1,8 +1,8 @@
 #ifndef __V3_XED_COMPAT_H__
 #define __V3_XED_COMPAT_H__
 
-#include <palacios/vmm_stddef.h>
 
+#include <palacios/vmm_types.h>
 
 /* Definition of the control structure for streams
 */