Index: generic/src/proc/scheduler.c
===================================================================
--- generic/src/proc/scheduler.c	(revision 286e03db2e32133734e2e925985747e123632eca)
+++ generic/src/proc/scheduler.c	(revision 2f7342d12561f9ee108f176359ac9eaea16c4e7c)
@@ -284,5 +284,5 @@
 	if (atomic_get(&haltstate))
 		halt();
-
+	
 	if (THREAD) {
 		spinlock_lock(&THREAD->lock);
@@ -296,4 +296,5 @@
 			spinlock_unlock(&THREAD->lock);
 			interrupts_restore(THREAD->saved_context.ipl);
+			
 			return;
 		}
@@ -343,7 +344,7 @@
 {
 	int priority;
-
+	
 	ASSERT(CPU != NULL);
-
+	
 	if (THREAD) {
 		/* must be run after the switch to scheduler stack */