Revert mistakenly overwritten lazy FP change (no functional change)

[palacios.git] / palacios / include / palacios / vmm_debug.h

diff --git a/palacios/include/palacios/vmm_debug.h b/palacios/include/palacios/vmm_debug.h
index bbb253e..e94ce69 100644 (file)
--- 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);