update

[l4.git] / l4 / pkg / libvcpu / lib / src / ARCH-x86 / arch.cc

diff --git a/l4/pkg/libvcpu/lib/src/ARCH-x86/arch.cc b/l4/pkg/libvcpu/lib/src/ARCH-x86/arch.cc
index cf808e9a6cda6a863a425b59d17b69841073c944..db2b99a0042514d1bf29796307dd3c4f8f62fd1a 100644 (file)
--- a/l4/pkg/libvcpu/lib/src/ARCH-x86/arch.cc
+++ b/l4/pkg/libvcpu/lib/src/ARCH-x86/arch.cc
@@ -31,4 +31,3 @@ void l4vcpu_print_state_arch(l4_vcpu_state_t *vcpu,
   printf("%sds=%08lx es=%08lx gs=%08lx fs=%08lx\n",
          prefix, vcpu->r.ds, vcpu->r.es, vcpu->r.gs, vcpu->r.fs);
 }
-