Index: include/synch/semaphore.h
===================================================================
--- include/synch/semaphore.h	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ include/synch/semaphore.h	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
@@ -37,5 +37,5 @@
 struct semaphore
 {
-    waitq_t wq;
+	waitq_t wq;
 };
 
Index: include/synch/waitq.h
===================================================================
--- include/synch/waitq.h	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ include/synch/waitq.h	(revision f0a8e529bbd43e2fa0944df376cfc326148cea8c)
@@ -40,7 +40,7 @@
 
 struct waitq {
-    spinlock_t lock;
-    int missed_wakeups;
-    link_t head;
+	spinlock_t lock;
+	int missed_wakeups;
+	link_t head;
 };