Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision 31198c1215c4e4a979a6f8e80df9c8c170c13886)
+++ kernel/arch/ia32/src/smp/apic.c	(revision 339249f86c593ecafb31b3f28d3ecb79676f799d)
@@ -426,5 +426,5 @@
 	
 	/* Program Logical Destination Register. */
-	ASSERT(CPU->id < 8)
+	ASSERT(CPU->id < 8);
 	ldr.value = l_apic[LDR];
 	ldr.id = (uint8_t) (1 << CPU->id);