update

[l4.git] / kernel / fiasco / src / abi / virt-ia32-amd64.cpp

diff --git a/kernel/fiasco/src/abi/virt-ia32-amd64.cpp b/kernel/fiasco/src/abi/virt-ia32-amd64.cpp
index dcf1d8098f32f03d9d8776077abe41a19d9e3914..f9c3755868b5264c97662a50b74bf0b9e89eed85 100644 (file)
--- a/kernel/fiasco/src/abi/virt-ia32-amd64.cpp
+++ b/kernel/fiasco/src/abi/virt-ia32-amd64.cpp
@@ -145,4 +145,3 @@ struct Vmcb
   Vmcb_control_area control_area;
   Vmcb_state_save_area state_save_area;
 } __attribute__((packed));
-