X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_keyed_stream.c;h=e430ae81b6251b6baf46e2bd673b5c3f08eb2b73;hb=c2792fb60c565fd324cfaf87f4cbc305b887c3bf;hp=cbe2481c25263b284230ec62a1574df493484a17;hpb=da20906829fd6a76a58dab7c689b04020b4cfe8b;p=palacios-OLD.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>