Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/generic/src/proc/scheduler.c	(revision 19dba2bf660c4ef2d48df50eeba33d3ca9a7508a)
@@ -375,10 +375,10 @@
 
 		switch (THREAD->state) {
-		    case Running:
+		case Running:
 			spinlock_unlock(&THREAD->lock);
 			thread_ready(THREAD);
 			break;
 
-		    case Exiting:
+		case Exiting:
 repeat:
 		    	if (THREAD->detached) {
@@ -406,5 +406,5 @@
 			break;
 			
-		    case Sleeping:
+		case Sleeping:
 			/*
 			 * Prefer the thread after it's woken up.
@@ -431,5 +431,5 @@
 			break;
 
-		    default:
+		default:
 			/*
 			 * Entering state is unexpected.