Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision d354d57caee72a5cbe1a16c069ff43d067f07966)
@@ -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>