Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 53031c207fe3e604f18be745ce8f0d770315f9ca)
+++ kernel/generic/include/mm/as.h	(revision 2f2dd126ebb05a78c169dcb2e64e9f8a9111fde2)
@@ -42,5 +42,4 @@
 #include <arch/mm/asid.h>
 #include <arch/istate.h>
-#include <typedefs.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>