Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision b8f7ea78410aaa78ef1fa9927e090a6e7f3a9fbd)
+++ kernel/generic/src/time/clock.c	(revision 2e4e706a8704952b76f052d1fa9f7a72e9f6d471)
@@ -195,5 +195,5 @@
 		spinlock_unlock(&THREAD->lock);
 		
-		if (!ticks && !PREEMPTION_DISABLED) {
+		if ((!ticks) && (!PREEMPTION_DISABLED)) {
 #ifdef CONFIG_UDEBUG
 			istate_t *istate;