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