chore: lib{DDK, System}: Update formatting of source files.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 3 insertions, 6 deletions

diff --git a/src/libDDK/src/ddk_abi_cxx.cpp b/src/libDDK/src/ddk_abi_cxx.cpp
index 191242b2..6a9584db 100644
--- a/src/libDDK/src/ddk_abi_cxx.cpp
+++ b/src/libDDK/src/ddk_abi_cxx.cpp
@@ -10,9 +10,7 @@ void* operator new(size_t sz) {
   return ::kalloc(sz);
 }
 
-void operator delete(void* ptr) {
-  ::kfree(ptr);
-}
+void operator delete(void* ptr) { ::kfree(ptr); }
 
 void* operator new[](size_t sz) {
   if (!sz) ++sz;
@@ -20,6 +18,5 @@ void* operator new[](size_t sz) {
   return ::kalloc(sz);
 }
 
-void operator delete[](void* ptr) {
-  ::kfree(ptr);
-}
+void operator delete[](void* ptr) { ::kfree(ptr); }
+