update

[l4.git] / kernel / fiasco / src / kern / ia32 / space-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/space-ia32.cpp b/kernel/fiasco/src/kern/ia32/space-ia32.cpp
index e68fb1e2dd3540264e177f5af9c2be1e8adb0a1e..26921eaefa82d121ce4af6af9721b8d2bb762f14 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/space-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/space-ia32.cpp
@@ -60,5 +60,5 @@ IMPLEMENT inline NEEDS["cpu.h", "globals.h"]
 void
 Space::switchin_ldt() const
 {
-  Cpu::cpus.cpu(current_cpu()).enable_ldt (_ldt.addr(), _ldt.size());
+  Cpu::cpus.cpu(current_cpu()).enable_ldt(_ldt.addr(), _ldt.size());
 }