X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/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 e9bf96ec2..6ce01c356 100644
--- 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())
-{
-}
-
+{}