Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/genarch/src/mm/asid_fifo.c	(revision 9ab9c2ec85cf371e50f3b815722f6586f78add5b)
@@ -64,7 +64,7 @@
 	int i;
 
-	#if (!FIFO_STATIC)
+#if (!FIFO_STATIC)
 	fifo_create(free_asids);
-	#endif
+#endif
 		
 	for (i = 0; i < ASIDS_ALLOCABLE; i++) {