Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision ba4a63b85a4380c6b8324933e535690fa7ca1d70)
+++ kernel/arch/ia32/src/smp/apic.c	(revision 3500f75cbc503f782a566e67a039f9b9368cbfe2)
@@ -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);