From 124b572fe7ad016a419480a2b1b2a0ff72836e61 Mon Sep 17 00:00:00 2001
From: Ali Naisan <ali3.nasheed@live.uwe.ac.uk>
Date: Tue, 23 Feb 2021 09:44:17 +0500
Subject: [PATCH] format terminal_writestring() function

---
 kernel.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kernel.c b/kernel.c
index d1e80d6..ab9e43e 100644
--- a/kernel.c
+++ b/kernel.c
@@ -112,9 +112,10 @@ void terminal_putchar(char c) {
  
 void terminal_writestring(const char* data) {
   size_t datalen = strlen(data);
-  for (size_t i = 0; i < datalen; i++)
+  for (size_t i = 0; i < datalen; i++) {
     terminal_putchar(data[i]);
 }
+}
 
 #if defined(__cplusplus)
 extern "C" /* Use C linkage for kernel_main. */
-- 
GitLab