Index: src/time/clock.c
===================================================================
--- src/time/clock.c	(revision e3f41b62d5b503ff9a3beb8ab121cc305d5f2fd7)
+++ src/time/clock.c	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
@@ -90,5 +90,5 @@
 	
 		spinlock_lock(&THREAD->lock);
-    		if (!THREAD->ticks--) {
+		if (!THREAD->ticks--) {
 			spinlock_unlock(&THREAD->lock);
 			scheduler();
Index: src/time/timeout.c
===================================================================
--- src/time/timeout.c	(revision e3f41b62d5b503ff9a3beb8ab121cc305d5f2fd7)
+++ src/time/timeout.c	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
@@ -106,5 +106,5 @@
 	spinlock_lock(&CPU->timeoutlock);
 	spinlock_lock(&t->lock);
-    
+
 	if (t->cpu)
 		panic("t->cpu != 0");
@@ -115,5 +115,5 @@
 	t->handler = f;
 	t->arg = arg;
-    
+
 	/*
 	 * Insert t into the active timeouts list according to t->ticks.