Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 4e33b6b225ade31ba0ed3f0d717b4c3af3a41738)
+++ kernel/generic/src/proc/scheduler.c	(revision c738d657d3d585f90fca437b475d4589b00e50be)
@@ -502,5 +502,5 @@
 	printf("cpu%d: tid %d (priority=%d, ticks=%lld, nrdy=%ld)\n",
 		CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks,
-			atomic_get(&CPU->nrdy));
+		atomic_get(&CPU->nrdy));
 #endif