Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision ccb0cbc16c5693f21db6f0a461d981ada016aad6)
+++ 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++) {