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