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