X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fdisk_model.c;h=0eec5bfb1673472271421461f22aad8ac72470c2;hb=60c7e3ecfc95dc2b6aaa463cc9692dece0f5e591;hp=4ef62b9944a5f96460702e9a8c9a0a5a7c8994dd;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git

diff --git a/palacios/src/devices/disk_model.c b/palacios/src/devices/disk_model.c
index 4ef62b9..0eec5bf 100644
--- a/palacios/src/devices/disk_model.c
+++ b/palacios/src/devices/disk_model.c
@@ -19,7 +19,6 @@
 
 #include <palacios/vmm.h>
 #include <palacios/vmm_dev_mgr.h>
-#include <palacios/vmm_sym_swap.h>
 #include <palacios/vm_guest.h>