Index: arch/ia32/src/mm/page.c
===================================================================
--- arch/ia32/src/mm/page.c	(revision 7910cffd4851e0ac56b045bf13deddbae09ae9ee)
+++ arch/ia32/src/mm/page.c	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
@@ -36,5 +36,4 @@
 #include <arch/interrupt.h>
 #include <arch/asm.h>
-#include <synch/spinlock.h>
 #include <debug.h>
 #include <memstr.h>