Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 4a537dda1680cfd9fd57ba877d36d641060c8f7f)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision d92bf462a666dbc8e25bc56006b03724997951c4)
@@ -38,5 +38,5 @@
 #include <proc/thread.h>
 #include <arch.h>
-#include <arch/context.h>	/* SP_DELTA */
+#include <arch/context.h>  /* SP_DELTA */
 #include <arch/pm.h>
 #include <arch/asm.h>