X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_debug.h;h=e94ce696032d0c6243beadc1c38e17fbc02a766c;hb=7ec6a6ee7f4a472587d49ddca3a9f5b587371fd5;hp=bbb253effa119360f2a268c32c97c7ff4e1dc913;hpb=e784113618800cede961f9a86084a96d20179e1c;p=palacios.git

diff --git a/palacios/include/palacios/vmm_debug.h b/palacios/include/palacios/vmm_debug.h
index bbb253e..e94ce69 100644
--- a/palacios/include/palacios/vmm_debug.h
+++ b/palacios/include/palacios/vmm_debug.h
@@ -29,7 +29,6 @@
 
 int v3_init_vm_debugging(struct v3_vm_info * vm);
 
-
 void v3_print_guest_state(struct guest_info * core);
 void v3_print_arch_state(struct guest_info * core);