Index: kernel/arch/ia32/src/mm/as.c
===================================================================
--- kernel/arch/ia32/src/mm/as.c	(revision 113c677dd068aaac3c6548693836c1980ffa5b14)
+++ kernel/arch/ia32/src/mm/as.c	(revision 09285268680b736d54a4a59cd29ffeff37e8a272)
@@ -40,7 +40,5 @@
 void as_arch_init(void)
 {
-#ifndef __OBJC__
 	as_operations = &as_pt_operations;
-#endif
 }