X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ffiledisk.c;h=629b4ed22c8c9fdb14767a16d5043bbb5d31a990;hb=45d9da21cb9fcff297b690cc9f12c9a7c7a6ecb5;hp=b007ace3aa70180a4a39afa5ef35d1b02586f783;hpb=6d6988cc9c8bac21d96afd800076afe0915cf2cd;p=palacios.releases.git

diff --git a/palacios/src/devices/filedisk.c b/palacios/src/devices/filedisk.c
index b007ace..629b4ed 100644
--- a/palacios/src/devices/filedisk.c
+++ b/palacios/src/devices/filedisk.c
@@ -20,7 +20,7 @@
 #include <palacios/vmm.h>
 #include <palacios/vmm_dev_mgr.h>
 
-#include <palacios/vmm_file.h>
+#include <interfaces/vmm_file.h>
 #include <palacios/vm_guest.h>
 
 #ifndef CONFIG_DEBUG_FILEDISK