X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_debug.h;h=9718f74e4d79d696e54d66dded2ea7d14efab14c;hb=95078a7471776964c1a6566c5702195672b53c08;hp=5424ab7120b1b0d39c53465029ed04453061f333;hpb=56f8088296ee4116a4811a2f4f843edd80a7748d;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 {