Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision a70bda4b7e660fc2b806d568769f69df5006fd24)
+++ kernel/arch/ia32/src/ia32.c	(revision 12d77106be9d0f1eed699d9bb16b4d8fae4b4348)
@@ -37,5 +37,5 @@
 #include <arch.h>
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #include <arch/pm.h>