Index: generic/src/time/clock.c
===================================================================
--- generic/src/time/clock.c	(revision 2d93f1f9242c39f6e8a125f6fc3f2297727f4f04)
+++ generic/src/time/clock.c	(revision 0cfc4d389c6bbe87d402907055dc2caad426d954)
@@ -93,5 +93,5 @@
 	
 		spinlock_lock(&THREAD->lock);
-		if (ticks = THREAD->ticks)
+		if ((ticks = THREAD->ticks))
 			THREAD->ticks--;
 		spinlock_unlock(&THREAD->lock);