X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/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 e68fb1e2d..26921eaef 100644
--- 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());
 }