update

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

diff --git a/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp b/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp
index b6be1bd6b6863c1b900b16011f0ddfcb2837bacc..8fa1162e33aa6774a57f2015002d6f2050df5f90 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp
+++ b/kernel/fiasco/src/kern/ia32/32/context-ia32-32.cpp
@@ -34,7 +34,7 @@ IMPLEMENTATION [ia32 || ux]:
 IMPLEMENT inline NEEDS [Context::update_consumed_time,
                        Context::store_segments]
 void
-Context::switch_cpu (Context *t)
+Context::switch_cpu(Context *t)
 {
   Mword dummy1, dummy2, dummy3, dummy4;