From 46e229ba7cdbcc9cc8cd9a6c03d584354bca2e73 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 8 Jul 2015 20:11:36 +0200
Subject: [PATCH] increasing the readability of the code

---
 hermit/kernel/main.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hermit/kernel/main.c b/hermit/kernel/main.c
index 6e41ffd68..4f8a5d468 100644
--- a/hermit/kernel/main.c
+++ b/hermit/kernel/main.c
@@ -127,8 +127,8 @@ int smp_main(void)
 
 	while(1) {
 		check_workqueues();
-                HALT;
-        }
+		HALT;
+	}
 
 	return 0;
 }