X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_debug.h;h=9718f74e4d79d696e54d66dded2ea7d14efab14c;hb=6eec27d5e1e3eb7cf3006b24389520d3058b6848;hp=5424ab7120b1b0d39c53465029ed04453061f333;hpb=101529b6eae500272347287df43ec51aa003d0aa;p=palacios.releases.git

diff --git a/palacios/include/palacios/vmm_debug.h b/palacios/include/palacios/vmm_debug.h
index 5424ab7..9718f74 100644
--- a/palacios/include/palacios/vmm_debug.h
+++ b/palacios/include/palacios/vmm_debug.h
@@ -6,6 +6,7 @@
 
 
 #ifdef __V3VEE__
+
 #include <palacios/vmm.h>
 
 struct dbg_bp32 {