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