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 92778f2136ec900a873b76c69db8efbdb1998fea)
@@ -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++) {