X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_keyed_stream.c;h=e430ae81b6251b6baf46e2bd673b5c3f08eb2b73;hb=374b2d6d22a0e0dc6ed8d3d628e635ab935072e0;hp=cbe2481c25263b284230ec62a1574df493484a17;hpb=bdbff6b6e5f78f5a1689f5d77814196ee2e4f6cb;p=palacios.git

diff --git a/palacios/src/palacios/vmm_keyed_stream.c b/palacios/src/palacios/vmm_keyed_stream.c
index cbe2481..e430ae8 100644
--- a/palacios/src/palacios/vmm_keyed_stream.c
+++ b/palacios/src/palacios/vmm_keyed_stream.c
@@ -18,7 +18,7 @@
  */
 
 
-#include <palacios/vmm_graphics_console.h>
+#include <palacios/vmm_keyed_stream.h>
 #include <palacios/vmm.h>
 #include <palacios/vmm_debug.h>
 #include <palacios/vmm_types.h>