Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 99718a2ecc5019b587210e9cffa467236e5f2131)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -42,5 +42,4 @@
 #include <config.h>
 #include <synch/waitq.h>
-#include <synch/synch.h>
 #include <arch/pm.h>
 #include <func.h>