X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;h=e90d304cee3a212b00839e2b655889b30a471253;hb=e0519b6111165e0d99987d7f852875366c41bfd9;hp=fd83edb943e2a5e5e937d1271db1efcacc73d4be;hpb=0e1c2f1eb7e964848d43824328205d5557bc7639;p=palacios.git

diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h
index fd83edb..e90d304 100644
--- a/palacios/include/palacios/vmm_intr.h
+++ b/palacios/include/palacios/vmm_intr.h
@@ -23,7 +23,6 @@
 
 #ifdef __V3VEE__
 
-#include <palacios/vmm_intr.h>
 #include <palacios/vmm_types.h>