Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/generic/src/proc/scheduler.c	(revision 8d58fcaa7e5744b458fcb7645e5a20ddd6eb8092)
@@ -430,5 +430,5 @@
 		case Exiting:
 			rcu_thread_exiting();
-repeat:
+		repeat:
 			if (THREAD->detached) {
 				thread_destroy(THREAD, false);