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 b8230b99f42baed609487cfaa5737fbb11968cc0)
@@ -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>