update

[l4.git] / kernel / fiasco / src / kern / ppc32 / kernel_task-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
index e9bf96ec26394854e8275830add03ffa21bf65ff..6ce01c3560bb1d4d770da664d073dccb1b8d5f30 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/kernel_task-ppc32.cpp
@@ -7,6 +7,4 @@ IMPLEMENTATION[ppc32]:
 PRIVATE inline NEEDS["globals.h"]
 Kernel_task::Kernel_task()
 : Space(Space::Default_factory(), Ram_quota::root, Kmem::kdir())
-{
-}
-
+{}